Harold Boley
(Second, Revised Edition), DFKI, DFKI Technical Memos (TM), Vol. 96-02, 1996.
Gerd Kamp; Holger Wache
DFKI, DFKI Technical Memos (TM), Vol. 96-01, 1996.