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

by J Backus
Venue:Proceedings of the International Joint Conference onTheory and Practice of Software Development