Computer hardware description langauges and their applications : Proceedings of the IFIG WG 10.2 Ninth international symposium, Washington, D.C., U. S. A., 19-21 June, 1989 - Rammig, Franz J. (North-Holland Publishing, 1990)