1. Backus, J. “Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs.” Communications of the ACM 21 (1978): 613–641.
2. Car, A., and Frank, A.U. “Formalization of Conceptual Models for GIS using GOFER.” In GIS/LIS '95 Central Europe in Budapest, 1995.
3. Dijkstra, E.W. “Guarded Commands, Nondeterminacy and Formal Derivation of Programs.” In Current Trends in Programming Methodology, Vol. 1: Software Specification and Design, ed. Yeh, R.T., 1977: 233–242.
4. Frank, A.U. “Acquiring a digital base map — A theoretical investigation into a form of sharing data.” URISA Journal 4 (1 1992): 10–23.
5. Frank, A.U. “Qualitative Temporal Reasoning in GIS — Ordered Time Scales.” In 6th International Symposium on Spatial Data Handling in Edinburgh, UK, IGU, 1994: 410–430.