Sachin V. Chitnis Manoranjan Satpathy Sundeep Oberoi Rationalized Three Instruction Machine. 94-102 1995 Intermediate Representations Workshop db/conf/irep/irep95.html#ChitnisSO95