Proof of a Structured Program: ‘The Sieve of Eratosthenes'

Bibliographic Details
Main Author: Hoare, C
Format: Journal article
Published: 1972