Hardware Specification, Verification And Synthesis: Mathematical Aspects/mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, Usa. July 5-7, 1989. Proceedings