@inproceedings{SIGMOD-1988-KorthS,
	author        = "Henry F. Korth and Gregory D. Speegle",
	booktitle     = "{Proceedings of the 18th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD88/P379.PDF",
	doi           = "10.1145/50202.50248",
	pages         = "379--386",
	title         = "{Formal Model of Correctness Without Serializability}",
	year          = 1988,
}