Title: Models and data structures for digital logic simulation
Subjects: Design and construction, Digital computer simulation, Electronic digital computers, Switching theory