Towards a Theory of Type Structure." Programming Symposium (1974)

by J C Reynolds
Venue:Verlag LNCS 19