A calculational approach to strong datatypes (1996)

by A Pardo
Venue:Department of Informatics, University of Oslo