North-Holland Publishing Company
Topology and its Applications
Computer Security

de Bakker, J.& de Vink, E. (1998). Denotational models for programming languages: applications of Banach's Fixed Point Theorem. Topology and Its Applications, 85(1-3), 35–52.