1. Allwood, J.; Anderson, L.; Dahl, O.: Logic In Linguistics, Cambridge University Press,1977
2. Beckman, F. S.: Mathematical Foundations of Programming, Addison-Wesley Publishing Co., 1981
3. Bjørner, Dines; Jones Cliff B.: Formal Specification and Software Development, Prentice/Hall International, 1982
4. Childs, David L.: Feasibility of a Set-Theoretic Data Structure: A General Structure Based on a Reconstituted Definition of Relation, Proc. IFIP Congress 1968
5. Childs, David L.: Extended Set Theory: A General Model for Very Large, Distributed, Backend Information Systems, Third International Conference On Very Large Databases, Tokyo, Japan, 1977