Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly. CONLAN: a formal construction method for hardware description languages: basic principles. In American Federation of Information Processing Societies: 1980 National Computer Conference, 19-22 May 1980, Anaheim, California, USA. Volume 49 of AFIPS Conference Proceedings, pages 209-217, AFIPS Press, 1980. [doi]
Abstract is missing.