The Generation of Optimal Code for Stack Machines. - John L. Bruno; T. Lassagne (J. ACM, 1975)