A Constructive Approach to the Problem of Program Correctness.(1968) [pdf]cs.utexas.edu1 pointtmbsundar9 years ago