A Constructive Approach to the Problem of Program Correctness.(1968) [pdf]cs.utexas.edu1 point·tmbsundar··0 commentsOpen articleSaveView on HN