Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. - Stanislaw Budkowski; A. B. Alkhechi; Mohamed-Lyes Benalycherif; Piotr Dembinski; M. Gardie; E. Lallet; J. P. Mouchel La Fosse; Younes Souissi (PSTV, 1993)