This page is a personal scratchpad.
金田 泰『プログラミング言語学をめざして』、1981年
https://www.kanadas.com/papers/1981/03/post_14.html