Nondeterministic Data Types: Models and Implementations (1986)

by T Nipkow
Venue:Acta Informatica