The Symbolics Ivory Design and Verification Strategy (1987)

Thank you. I saw that there's a wealth of other docs from Symbolics at archive.org. I will spend some time exploring.

https://archive.org/search?query=creator%3A%22Symbolics%22