Antonio Martínez Maz, Carlos Miguel, E. Pérez, Angel Fernández: FDDI Performance Evaluation Based on LOTOS Formal Description Tecnique. HPN 1994: 407-422