Abstraction Mechanisms And Language Design. ACM Distinguished Dissertation (1982)

by Paul N Hilfinger