New foundations for computations (1990)

by R L Crole, A M Pitts
Venue:In 4th LICS Conf. IEEE