Introduction to formal hardware verification - Kropf, Thomas (Springer-Verlag Berlin, 1999)
Keywords: Electronic Digital Computers -- Design And Construction; Computer Input-Output Equipment