1. Klemola, T., Rilling, J.: Modeling comprehension processes in software development. In: Proceedings First IEEE International Conference on Cognitive Informatics, Calgary, AB, Canada (2002)
2. Halstead, M.H.: Elements of Software Science. Elsevier, New York (1977)
3. Barsamian, M.: Introduction to Axiomatic Geometry. Ohio University, Athens (2017)
4. Partee, B.H., Wall, R.E., Ter Meulen, A.: Mathematical Methods in Linguistics. Kluwer Academic, Dordrecht (1990)
5. Corry, L.: David Hilbert and the Axiomatization of Physics (1898–1918): From Grundlagen der Geometrie to Grundlagen der Physik. Kluwer, Dordrecht (2004)