The early search for tractable ways of reasoning about programs | IEEE Journals & Magazine | IEEE Xplore