From term models to domains (1994)

by W Phoa
Venue:Information and Computation