From function level semantics to program transformation and optimization (1985)

by J Backus
Venue:Proceedings of the International Joint Conference on Theory and Practice of Software Development, volume 185 of Lecture Notes in Computer Science