"Learning Elementary Formal Systems."

Setsuo Arikawa, Takeshi Shinohara, Akihiro Yamamoto (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics