The logic of engineering design
C. A. R. Hoare
Journal
Microprocessing and Microprogramming
Number
8−9
Pages
525−539
Volume
41
Year
1996
C. A. R. Hoare