-M. Leeser/G. Brown (Eds.): Hardware Specification, Verification and Synthesis: Mathematical Aspects, Proceedings 1989, Springer-Verlag 1990