A complete calculus for the multialgebraic and functional semantics of nondeterminism (1997)

by M Walicki, S Meldal
Venue:ACM Trans. Programming Lang. Systems