Automatic analysis of electronic digital circuits using list processing
Leon Shalla · Communications of the ACM · 1966
A mapping from block diagrams of digital circuits to list structures is described, together with a list processing program written for the Control Data 3600 which uses this mapping to automatically carry out circuit analysis.