The evolution of programs
Subtitle: program abstraction and instantiation
By: Nachum Dershowitz.
Series: Report ;; no. UIUCDCS-R-81-1011; UIUCDCS-R ;; 1011.
Publisher: Department of Computer Science, University of Illinois at Urbana-Champaign
Published: 1981
Place of publication: Urbana, Ill
Language: eng
Number of pages: 60
Subjects: Computer programming.
Notes: Bibliography: p. 58-60.
"June 1981."
"UILU-ENG 81 1717."
"NSF-MCS-79-04897."