Formal description techniques II : proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, V. ISBN 0444885447. Published by North-Holland in 1990. Publication and catalogue information, links to buy online and reader comments.