Program translation fundementals :methods and issues - Calingaert, Peter (Computer science press, 1988)