How to write correct programs and know it," report (1973)

by H D MILLS
Venue:FSC 73-5008, IBM Federal Systems Division