Я просто помнил назад свои университетские классы и задавался вопросом, чтобы знать, использовал ли кто-либо здесь даже "Z нотация" в профессиональной среде. Я честно должен сказать, что это был сингл...
Есть ли какой-либо пакет для ЛАТЕКСА, который будет поддерживать запись Z спецификации? Я интересуюсь и горизонтальными и вертикальными форматами для схем.