Mathematical Methods of Specification and Synthesis of Software Systems ‘85 by Klaus P. Jantke | Menrva Books | MenrvaBooks