Non-deterministic data types: Models and implementations (1986)

by T Nipkow
Venue:University of Manchester