Harry F. Jordan Burton J. Smith Structure of Digital System Description Languages. 31-34 1973 ISCA db/conf/isca/isca73.html#JordanS73