A Program Verifier (1969)

by J C King