Including a Queue in a Formal-Description-Driven Protocol Performance Analysis. - Jan Gustavsson; Harry Rudin (PSTV, 1989)