Mike Hutton: Characterization and parameterized generation of digital circuits. University of Toronto, Canada 1997