On abstraction and the expressive power of programming languages (1993)

by John C Mitchell
Venue:In TACS’91: Selected papers of the conference on Theoretical aspects of computer software