Loeckx, J., Mehlhorn, K., & Wilhelm, R. (1989). Foundations of Programming Languages. New York, USA: Wiley.