Proof of a Structured Program: ‘The Sieve of Eratosthenes'
C.A.R. Hoare
Journal
BCS‚ Computer Journal
Month
November
Number
4
Pages
321–325
Volume
15
Year
1972
C.A.R. Hoare