Proof and synthesis. - Michael P. Fourman; W. J. Palmer; R. M. Zimmer (ICCD, 1988)

A Genetic Algorithm for the Synthesis of Structured Data Paths. - Chittaranjan A. Mandal; R. M. Zimmer (VLSI Design, 2000)