The early search for tractable ways of reasoning about programs (0)

by C JONES
Venue:Annals of the History of Computing, IEEE