1. J. W. de Bakker, E. de Vink, Control Flow Semantics. MIT press, 1996.
2. M. Bezem Characterizing Termination of Logic Programs with Level Mappings p.69–80, Proceedings of the North American Conference on Logic Programming. MIT press, Cambridge, MA, 1989.
3. J. Dieudonné. Foundations of Modern Analysis. Academic Press, 1969.
4. B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
5. M. Fitting. Metric methods, three examples and a theorem. Journal of Logic Programming, 1994;21:p.113–127.