A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf]

Author also known for inventing (ro)BDDs later in the 80s.