Search whole site: site:archive.org
Search title: The Symbolics Ivory Design and Verification Strategy paper : Symbolics : Free Download, Borrow, and Streaming : Internet Archive
See how to search.