Formal description-the first step in design automaA.D. Falkoff1965Annual SHARE Design Automation Workshop 1965