Спецификация функциональных свойств программ
Формальные методы в программной инженерии
Спецификация функциональных свойств программ