Algebraic approaches to nondeterminism: An overview (1997)

by M Walicki, S Meldal
Venue:ACM Computing Surveys