The Symbolics Ivory Design and Verification Strategy (1987)https://archive.org/details/ivory-design-verification by mepian • 2 years ago 24 2 2 years agoARarchive.org