Programs for mechanical program verification (1971)

by D C Cooper
Venue:In Machine Intelligence 6