APA Style
Dill, D, L. (1989).
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits .
Cambridge:
The MIT Press.
MLA Style
Dill, David, L..
"Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits".
Cambridge:
The MIT Press,
1989.
Text.