The fundamental S-theorem - a corollary. - Robert Dwyer; Errol P. Martin; Robert K. Meyer (Notre Dame J. Formal Log., 1983)

The integration of an advanced gate array router into a fully automated design system. - Robert Dwyer; Stephen Morris; Edward Bard; Daniel Green (DAC, 1985)