Skip to main content

The logic of engineering design

C. A. R. Hoare

Journal
Microprocessing and Microprogramming
Number
8−9
Pages
525−539
Volume
41
Year
1996