Mechanized reasoning and hardware design / - Hoare, C. A. R.; Gordan, M. J. C. (Prentice Hall, 1992)