Mathematical methods of specification and synthesis of software systems '85 by W. Bibel | Menrva Books | MenrvaBooks