Non-deterministic computations in ELAN (1998)

by H Kirchner, P-E Moreau
Venue:Recent Developments in Algebraic Specification Techniques, Proc. 13th WADT’98, volume 1589 of LNCS