An Overview of Some Formal Methods for Program Design
C.A.R. Hoare
Journal
IEEE Computer Journal
Month
September
Number
9
Pages
85–91
Volume
20
Year
1987
C.A.R. Hoare