A representable approach to nondeterminism (1993)

by S O Anderson, A J Power
Venue:In Proc. MFPS '94, Theoretical Computer Science