Hardware Specification, Verification and Synthesis: Mathematical Aspects