Integrated techniques for functional and gate-level digital logic simulation. - Stephen A. Szygenda; Anthony A. Lekkos (DAC, 1973)

Implemented techniques for handling spikes in an assignable delay simulator. - Stephen A. Szygenda; Anthony A. Lekkos; John L. Fike (WSC, 1974)

How to develop module logic using pseudo-code and stepwise refinement. - Anthony A. Lekkos; Carl M. Peters (DAC, 1978)