, , ,
Cambridge University Press
Software Analysis and Transformation

van Eijck, J., & Unger, C. (2010). Computational semantics with functional programming. Cambridge University Press.