@inproceedings{PODS-2000-Spielmann,
	author        = "Marc Spielmann",
	booktitle     = "{Proceedings of the 19th Symposium on Principles of Database Systems}",
	doi           = "10.1145/335168.335212",
	isbn          = "1-58113-214-X",
	pages         = "92--103",
	publisher     = "{ACM}",
	title         = "{Verification of Relational Transducers for Electronic Commerce}",
	year          = 2000,
}