Hardware specification, verification and synthesis: mathematical aspects : Konf. Mathematical Sciences Institut Workshop, Cornell University, New York, 5.- 7. July 1989 - Leeser, M (Lecture Notes in Computer Science, 1990)