David A. Schmidt An implementation from a direct semantics definition. 222-235 1985 conf/pdo/1985 Programs as Data Objects db/conf/pdo/pdo1985.html#Schmidt85 https://doi.org/10.1007/3-540-16446-4_13