A general methodology for synthesis and verification of register-transfer designs. - Alice C. Parker; Fadi J. Kurdahi; Mitch J. Mlinar (DAC, 1984)

MAHA: a program for datapath synthesis. - Alice C. Parker; Jorge T. Pizarro; Mitch J. Mlinar (DAC, 1986)

Area-time model for synthesis of non-pipelined designs. - Rajiv Jain; Mitch J. Mlinar; Alice C. Parker (ICCAD, 1988)

Experience with ADAM Synthesis System. - Rajiv Jain; Kayhan Küçükçakar; Mitch J. Mlinar; Alice C. Parker (DAC, 1989)