The algebraic specification language LOTOS: an industrial experience. - Luigi Logrippo; Tim Melanchuk; Robert J. Du Wors (Formal Methods in Software Development, 1990)