Formal Model of a High Speed Transport Procotol. - Gilbert M. Lundy; R. C. McArthur (PSTV, 1992)