@inproceedings{SAC-2001-WahlsL,
	author        = "Tim Wahls and Gary T. Leavens",
	booktitle     = "{Proceedings of the 16th Symposium on Applied Computing}",
	doi           = "10.1145/372202.372465",
	pages         = "567--575",
	publisher     = "{ACM}",
	title         = "{Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs}",
	year          = 2001,
}