1. Abdul-Rahman, A., Zlatanova, S.V., Coors, V.(eds.): Innovations in 3D Geo Information Systems. In: Proc. the 1st International Workshop on 3D Geoinformation, Lecture Notes in Geoinformation and Cartography, December 7-14, 2006, Kuala, Springer, Heidelberg (2006)
2. Bittner, T., Frank, A.U.: An Introduction to the Application of Formal Theories to GIS. In: Dollinger, F., Strobl, J. (eds.) Proc. Angewandte Geographische Information sverarbeitung IX (AGIT), Salzburg, Austria, pp. 11–22 (1997)
3. De Berg, M., Kreveld, M.V., Overmars, M., Schwarzkopf, O.: Computational Geometry: Algorithms and Applications. Springer, Heidelberg (2000)
4. Frank, A.U.: Qualitative Temporal Reasoning in GIS - Ordered Time Scales. In: Proc. 6th International Symposium on Spatial Data Handling (SDH 1994), Edinburgh, Scotland, IGU Commission on GIS, September 5-9 (1994)
5. Frank, A.U.: Different types of times in GIS. In: Egenhofer, M.J., Golledge, R.G. (eds.) Spatial and Temporal Reasoning in GIS, pp. 40–61. Oxford University Press, New York (1998)