A formal approach to hardware design - Staunstrup, Jorgen (International series in engineering and computer science, 1994)