aii 1992: Mathematical Methods of Specification and Synthesis of Software Systems 1992