Protocol specification, testing and verification, IX : Konf. Proc. of the IFIP 6.1 9th int. symp. on ..., Enschede, Netherlands, 6.- 9. June 1989 - Brinksma, Ed (Elsevier, 1990)