Foundations of programming languages : design and implementation - ROOSTA (Thomson Brooks/Cole, 2003)