Mechanised reasoning and hardware design /
Hoare, C. A. R.(Charles Antony Richard),1934-
Gordon, Michael J. C.,1948-
New York, N.Y. ; London : Prentice Hall,
1992.