Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data
Subjects: Programming languages (electronic computers)