The Formal description technique Estelle : results of the ESPRIT/SEDOS Project - Diaz, Michel (North-Holland, Elsevier Science Pub. Co., 1989)