Mathematical Methods of Specification and Synthesis of Software Systems ‘85 by Wolfgang Bibel | Menrva Books | MenrvaBooks