Properties of Elementary Formal Systems as Translation Grammarsに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。