UCSD P-Systemの「言語仕様と最適化は独立した問題である」ということを証明した論文

id:Florian:20100710:1278769288 うーん知らない。誰かこの日記見てる人（ってどれくらいいるんだ？）で知ってる人いませんか？