[ACM] CACM 15(03) (March 1972)

(1957) Communications of the ACM  

Barbara H. Liskov (1972) Barbara H. Liskov "The design of the Venus operating system"