A Design Methodology for Reliable Sof tware Systems (1968)

by B FL Liskov
Venue:Proceeding AFIPS 1972 Fall Joint Computer Conference, V. 41, Part 1, p. 191-199. — 12 . Dykstra, Edsger W., “Go To Statement Considered Harmful ”, Letter to the editor , Communications of the ACM