Robert Piloty Mario Barbacci Dominique Borrione Donald L. Dietmeyer Fredrick J. Hill Patrick Skelly CONLAN: a formal construction method for hardware description languages: language application. 229-236 1980 AFIPS National Computer Conference http://doi.acm.org/10.1145/1500518.1500552 conf/afips/1980 db/conf/afips/ncc80.html#PilotyBBDHS80b