Automated Technology Mapping. - James L. Gilkinson; Steven D. Lewis; Bruce B. Winter; Amir Hekmatpour (IBM J. Res. Dev., 1984)