Citation Formats
MLA
Terwilliger, Robert B. A Formal Specification and Verified Design for Kemmerer's Library Problem ; Cu-cs-562-91.
APA
Terwilliger, R. A Formal Specification and Verified Design for Kemmerer's Library Problem ; CU-CS-562-91.
Chicago
Terwilliger, Robert B. A Formal Specification and Verified Design for Kemmerer's Library Problem ; Cu-Cs-562-91.