Title: Reasoning About Program Transformations
Subjects: Programming languages (Electronic computers), Programming languages (electronic computers)