Uehara, T., &amp; Barbacci, M. R. (1983). <i>Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications, Pittsburgh, Pennsylvania, U.S.A., 23-25 May, 1983.</i> Amsterdam: North-Holland Pub. Co. .