@inproceedings{SIGMOD-1990-ChrysanthisR,
	author        = "Panos K. Chrysanthis and Krithi Ramamritham",
	booktitle     = "{Proceedings of the 20th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD90/P194.PDF",
	doi           = "10.1145/93597.98729",
	pages         = "194--203",
	title         = "{ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior}",
	year          = 1990,
}