Mihaela Sighireanu, "LOTOS NT User's Manual" INRIA projet VASY, November 2000.
(2001)
Languages mentioned
E-LOTOS
{1998}