Kohler, Eddie "Prolac language reference manual", January 1999.
(1999)
Languages mentioned
PROLAC
{1996} Language for Protocol Compilation