Author: International Seminar on Design Automation of Digital Systems Weizmann Institute of Science 1972.