Three approaches to type structure (1985)

by J C Reynolds
Venue:in Mathematical Foundations of Software Development, LNCS Vol 185, Springer-Verlag