ISO/IEC 13568:2002
Информационные технологии. Нотация Z формальной спецификации. Синтаксис, система знаков и семантика

© StandartGOST.ru