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. 209-217 1980 AFIPS National Computer Conference http://doi.acm.org/10.1145/1500518.1500550 conf/afips/1980 db/conf/afips/ncc80.html#PilotyBBDHS80