Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University Ithaca, New ... Notes in Computer Science, 408, Band 408)