Title: Mathematical Methods of Specification and Synthesis of Software Systems '85