Models and data structures for digital logic simulation. - Schmith, Donald Leigh (1966)