Andrea A. diSessa, Harold Abelson "Boxer: A Reconstructible Computational Medium" pp859-868

[ACM] (1986) [ACM] CACM 29(09) (Sept 1986)  

Languages mentioned Boxer {1985}