1. Lecture Notes in Computer Science;D. Aspinall,2012
2. ANSI/ISO/IEC. 9075:2003, Database Language SQL (2003)
3. Lecture Notes in Computer Science;A. Asperti,2004
4. Altamimi, M., Youssef, A.: A Math Query Language with an Expanded Set of Wildcards. Mathematics in Computer Science 2, 305–331 (2008)
5. Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaetano, M., Kohlhase, M.: The Open Math Standard, Version 2.0. Technical report. The Open Math Society (2004),
http://www.openmath.org/standard/om20