J. Schwartz Central technical issues in programming language design. 64-75 1972 conf/ershov/1972 International Sympoisum on Theoretical Programming db/conf/ershov/ershov1972.html#Schwartz72 http://dx.doi.org/10.1007/3-540-06720-5_5