SMS dit: Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and their Applications : Tokyo, Japan, 29-31 August, 1985 / [organized by IFIP Technical Committee 10 and its Working Group 10.2] ; edited by C.J. Koomen, T. Moto-Oka.