Mathematical proofs about computer programs (1967)

by D C Cooper
Venue:Machine Intelligence