Do-it-yourself type theory, part 2 (1988)

by R C Backhouse, P Chisholm, G Malcolm
Venue:EATCS Bulletin