Algebraic approaches to nondeterminism---an overview

Michał Walicki, Sigurd Meldal
1997 ACM Computing Surveys  
doi:10.1145/248621.248623 fatcat:5o2gkoijefg7dgznddcqefpkbi