Optimizing schemes for structured programming language processors - Tsuji, Tatsuo (Horwood, 1990)