@inproceedings{SIGMOD-1988-MazumdarSS,
	author        = "Subhasish Mazumdar and David W. Stemple and Tim Sheard",
	booktitle     = "{Proceedings of the 18th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD88/P233.PDF",
	doi           = "10.1145/50202.50231",
	pages         = "233--242",
	title         = "{Resolving the Tension between Integrity and Security Using a Theorem Prover}",
	year          = 1988,
}