The evolution of programs
Subtitle: program abstraction and instantiation
By: Nachum Dershowitz
Contributors: University of Illinois at Urbana-Champaign. Department of Computer Science
Series: Report -- no. 1011; Report (University of Illinois Dept. of Computer Science) -- 1011.
Publisher: Department of Computer Science, University of Illinois at Urbana-Champaign
Published: 1981
Place of publication: Urbana, Illinois
Language: eng
Number of pages: 60
Subjects: Computer programming
Notes: "UIUCDCS-R-81-1011"

"UILU-ENG 81 1717."

"NSF-MCS-79-04897."

Bibliography: p. 58-60.