The Formal Description Technique Lotos : Results of the ESPRIT/SEDOS Project - Eijk, Peter H.J. van (North-Holland : Elsevier)