Harry G. Mairson Complexity-Theoretic Aspects for Programming Language Design. 572 1996 conf/cp/1996 CP db/conf/cp/cp96.html#Mairson96 http://dx.doi.org/10.1007/3-540-61551-2_122