Behavioural Implementation Concepts for Nondeterministic Data Types (1986)

by T Nipkow