"Formal techniques and sizeable programs", pp. 225-235, in Samelson, K. (ed.),
Lecture Notes in Computer Science, 44, Berlin, Springer-Verlag, 1976.
234 ;;Quote: computer code is a very compact deposit of our intellectual labors
ThesaHelp: references c-d (337 items)
Topic: machine code and assembly language (49 items)
Topic: programming language (29 items)