Abstraction mechanisms and language design - Hilfinger, Paul (Massachusetts Institute of Technology Cambridge Mass., 1986)