Title: Design automation
First published: 1988