1. Abstract interpretation, logical relations, and Kan extensions;Abramsky;J. Logic Comput.,1990
2. K.S. Backhouse, A functional semantics of attribute grammars, in: International Conference on Tools and Algorithms for Construction and Analysis of Systems, Lecture Notes in Computer Science, vol. 2280, Springer, Berlin, 2002, pp. 142–157.
3. K. Backhouse, Abstract interpretation of domain-specific embedded languages, Ph.D. Thesis, Computing Laboratory, University of Oxford, 2002.
4. On a relation on functions;Backhouse,1990
5. R.C. Backhouse, P. de Bruin, P. Hoogendijk, G. Malcolm, T.S. Voermans, J. van der Woude, Polynomial relators, in: M. Nivat, C.S. Rattray, T. Rus, G. Scollo (Eds.), Proc. Second Conf. on Algebraic Methodology and Software Technology, AMAST’91, Workshops in Computing, Springer, Berlin, 1992, pp. 303–326.