Program translation fundamentals: methods and issues - Calingaert, Peter (Computer Science Press, 1987)