@inproceedings{PODS-1983-Hadzilacos,
	author        = "Vassos Hadzilacos",
	booktitle     = "{Proceedings of the Second Symposium on Principles of Database Systems}",
	cdrom         = "['journals/anthology/cd1-3:PODS83/P244.PDF', 'journals/anthology/dvd1:text/1-3/PODS83/P244.PDF']",
	doi           = "10.1145/588058.588086",
	isbn          = "0-89791-097-4",
	pages         = "244--257",
	publisher     = "{ACM}",
	title         = "{An Operational Model for Database System Reliability}",
	year          = 1983,
}