E-LOTOS Core Language (1996)

by Alan Jeffrey, Guy Leduc
Venue:In ISO/IEC JTC1/SC21 Third Working Draft on Enhancements to LOTOS (1.21.20.2.3). Output document of the edition meeting