Bill P. Buckles, G. C. Hintze: Levels of abstraction and compilers. ACM Annual Conference 1976: 419-423