Hardware specification, verification, and synthesis : Mathematical aspects : proceedings - Leeser, M. (Miriam), 1958-; Brown, G. (Geoffrey), 1960- (Lecture notes in computer science ;, 1990)