3 ms·A Constructive Approach to the Problem of Program Correctness.(1968) [pdf]1 points by tmbsundar 9y ago