Ana Cavalcanti, Jim Woodcock, Steve Dunne. Angelic nondeterminism in the unifying theories of programming. Formal Asp. Comput., 18(3):288-307, 2006. [doi]
@article{CavalcantiWD06, title = {Angelic nondeterminism in the unifying theories of programming}, author = {Ana Cavalcanti and Jim Woodcock and Steve Dunne}, year = {2006}, doi = {10.1007/s00165-006-0001-8}, url = {http://dx.doi.org/10.1007/s00165-006-0001-8}, tags = {programming}, researchr = {https://researchr.org/publication/CavalcantiWD06}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {18}, number = {3}, pages = {288-307}, }