亚历山大·贾。迪科夫斯基 无上下文派生复杂类的闭包性质。 206-211年 1975 conf/mfcs/1975年 MFCS公司 db/conf/mfcs/mfcs75.html#Dikovsky75 https://doi.org/10.1007/3-540-07389-2_197