@article{SOSP-J-1973-Liskov72,
	author        = "Barbara Liskov",
	doi           = "10.1145/361268.361272",
	journal       = "{Communications of the ACM}",
	number        = 3,
	pages         = "144--149",
	publisher     = "{ACM}",
	title         = "{The Design of the Venus Operating System}",
	volume        = 15,
	year          = 1972,
}