Automatic optimization of symbolic algol programs general principles

• M Petravic, G Kuo-Petravic, KV Roberts