E.: Do-it-yourself type theory. Formal Aspects of Computing 1(1 (1989)

by R Backhouse, P Chisholm, G Malcolm, Saaman