Formal specification of ISO virtual terminal in Estelle. - Paul D. Amer; Figen Ceceli; Guy Juanole (INFOCOM, 1988)