Protocol Specification, Testing and Verification : Proceedings of the IFIP WG 6.1 Eleventh International Symposium / Jonsson Bengt, Parrow Joachim, Pehrson Bjorn. - Amsterdam : North-Holland, 1991. - XIII, 365 s.: il.; 23 cm. ISBN: 0444892109