Robert Cuykendall, Antun Domic, William H. Joyner, Steve C. Johnson, Steven H. Kelem, Dennis McBride, Jack Mostow, John E. Savage, Gabriele Saucier. Design synthesis in VLSI and software engineering. Journal of Systems and Software, 4(1):7-12, 1984. [doi]
Abstract is missing.