Title: Mathematical methods of specification and synthesis of software systems '85
Subjects: Development, Congresses, Computer software