A representable approach to finite nondeterminism (1997)

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