Natural semantics for nondeterminism (1993)

by J Hughes, A Moran
Venue:In Proceedings of El Wintermote