A program verifier (1969)

by J C King