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.