Hanne Riis Nielson Flemming Nielson Pragmatic Aspects of Two-Level Denotational Meta-Languages. 133-143 1986 conf/esop/1986 ESOP db/conf/esop/esop86.html#NielsonN86 http://dx.doi.org/10.1007/3-540-16442-1_10