S.: Algebraic approaches to nondeterminism: An overview (1997)

by M Walicki, Meldal
Venue:ACM Computing Surveys