The Symbolics Ivory Design and Verification Strategy (1987) (via mepian) — discussion
#hardware #lisp
