How Could Estelle Become a Better FDT?

Jean-Pierre Courtiat. How Could Estelle Become a Better FDT?. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 43-60, North-Holland, 1987.