Stanislaw Budkowski A. B. Alkhechi Mohamed-Lyes Benalycherif Piotr Dembinski M. Gardie E. Lallet J. P. Mouchel La Fosse Younes Souissi Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. 191-206 1993 conf/pstv/1993 PSTV db/conf/pstv/pstv1993.html#BudkowskiABDGLFS93