Towards a Theory of Bulk Types (1991)

by David A Watt, Phil Trinder