A design methodology for reliable software systems (1972)

by B H LISKOV
Venue:In Proceedings of the Fall Joint Computer Conference