TDF and Portability, DRA, 1993.
The TDF Notation Compiler, DRA, 1993.
C/C++ Checker Reference Manual, DRA, 1993.