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

by M Walicki, S Meldal
Venue:ACM Trans. Program. Lang. Syst