@inproceedings{SIGMOD-1988-QianW,
	author        = "Xiaolei Qian and Richard J. Waldinger",
	booktitle     = "{Proceedings of the 18th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD88/P243.PDF",
	doi           = "10.1145/50202.50232",
	pages         = "243--250",
	title         = "{A Transaction Logic for Database Specification}",
	year          = 1988,
}