The formal description technique Lotos: : results of the ESPRIT/SEDOS project - Eijk, P. Van; Vissers, Chris; Diaz, Michel (North-Holland, 1989)