-Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging and certification. In addition, most long-lived pro- grams have a liCe-cycle that includes modifications to meet amended specifications and extensions for expanded capabilities. Such evolution- ary aspects of programming are the topic of this monograph. We present rormal...