Title: Transformations of programs
First published: 1970
Subjects: Computer programming
LC classification: QA76.5