1. Alexander, C. (1964)Notes on the Synthesis of Form (Harvard University Press, Boston).
2. Codd, E.F. (1970) A Relational Model of Data for Large Shared Data BanksCommunications of the ACM,13, 377–387.
3. Crosby, P.B. (1979)Quality is Free (McGraw Hill, New York).
4. Aerospace Report;N. Dershowitz,1983
5. Dershowitz, N. and Jouannaud, J.-P. (1991) Rewrite systems, inThe Handbook of Theoretical Computer Science, van Leeuwen, J. (ed.), Formal Models and Semantics, (Elsevier, Amsterdam).