Towards a proposal for datatypes in E-LOTOS (1995)

by Guy Leduc , Charles Pecheur , Hubert Garavel , Mihaela Sighireanu , Alan Jeffrey