Автоматизированные методы спецификации: пер. с англ. - Деметрович Я. Янош (Москва, Мир, 1989)