Algebraic Approaches to Nondeterminism - an Overview (1997)

by Michal Walicki, Sigurd Meldal
Venue:ACM Computing Surveys