Abstraction Mechanisms and Language Design (1983)

by Paul N Hilfinger
Venue:Proc