1. The TEXbook, Addison-Wesley, 1984.
2. VOS2/VOS3 Pascal, 8080–3–261 (in Japanese).
3. and , Pascal User Manual and Report, in Lecture Notes in Computer Science 18, Springer-Verlag, 1976.
4. TEX: The Program, Addison-Wesley, 1985.
5. Postlude to a PASCAL-compiler bootstrap on a decsystem-10