@inproceedings{LFP-1982-CohenM,
	author        = "A. Toni Cohen and Thomas J. Myers",
	booktitle     = "{Proceedings of the 1982 ACM Symposium on LISP and Functional Programming}",
	pages         = "235--242",
	title         = "{Toward an Algebra of Nondeterministic Programs}",
	year          = 1982,
}