[ACM] CACM 29(09) (Sept 1986)
(1986)
(1957)
Communications of the ACM
Andrea A. diSessa, Harold Abelson (1986)
Andrea A. diSessa, Harold Abelson "Boxer: A Reconstructible Computational Medium" pp859-868