1974], "Towards a theory of type structure (0)

by JC Reynolds
Venue:in International Programming Symposium, Springer Verlag LNCS