1. Khaled Al-Taha and Roberto Barrera. Identities through Time. In Ehlers, editor, International Workshop on Requirements for Integrated Geographic Information Systems, pages 1–12, New Orleans, Louisiana, 1994. 21
2. John Backus. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. 21:613–641, 1978. 24
3. Prentice Hall Series in Computer Science;R. Bird,1998
4. Richard Bird and Oege de Moore. Algebra of Programming. Prentice Hall, London, 1997. 24, 36
5. Mario Augusto Bunge. Treatise on Basic Philosophy: Vol. 3: Ontology I: The Furniture of the World, volume 3. Reidel, Boston, 1977. 22