The Formal Description Technique Lotos : results of the ESPRIT/SEDOS Projekt - Eijk, Peter Herman Johan van, 1959-; Vissers, Christiaan Anton, 1941-; Diaz, Michel, 1945- (North-Holland Publishing Company, 1989)