A model-oriented analysis of a communications protocol /
Bicarregui, Juan.
Rutherford Appleton Laboratory.
Didcot : Rutherford Appleton Laboratory,
1993.
Includes bibliography.