The formal verification of generic interpreters /

Chicago citation style
Windley, P. The formal verification of generic interpreters /. 1991. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431829. (Accessed September 19, 2018.)
APA citation style
Windley, P, (1991) The formal verification of generic interpreters /. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431829
MLA citation style
Windley, P. Retrieved from the Digital Public Library of America <http://catalog.hathitrust.org/Record/011431829>.
Note: These citations are programmatically generated and may be incomplete.