Viewpoints Retrospective: An Axiomatic Basis for Computer Programmingcacm.acm.org1 point·adbge··0 commentsOpen articleSaveView on HN