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