Retrospective: An Axiomatic Basis for Computer Programming 🕑 2009-12-28T12:36:53+00:00; try the Wayback Machine | edit