Formal Methods in Digital Design

J. Herbert , C.J. van Rijsbergen , Samson Abramsky