Mathematical Methods of Specification and Synthesis of Software Systems '85 | lit.salon