C.A.R. Hoare

Design by calculation and proof

C.A.R. Hoare, 1988 .

Computing Tomorrow: Algebra and Models

C.A.R. Hoare, 1996 .

A Hard Act to Follow

C.A.R. Hoare, C. Hoare, 2000, High. Order Symb. Comput..

A theory of engineering design

C.A.R. Hoare, 1994, Proceedings of Twentieth Euromicro Conference. System Architecture and Integration.