Segoufin, L.; Caseau, Y. "Extension to the LAURE Logic Language" Bellcore Technical Memorandum
(1992)
Languages mentioned
LAURE
{1989}