Proof of a Structured Program: ‘The Sieve of Eratosthenes' - Hoare, C (1972)