1. ISO/IEC FDIS 14882. International Standard for the C++ Programming Language. American National Standards Institute (ANSI), X3 Secretariat, 1250 Eye Street NW, Suite 200, Washington, DC 20005, 1998.
2. D. R. Musser and A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, 1996.
3. M. Wirsing. Algebraic Specifications. Handbook of Theoretical Computer Science, Elsevier Science Publishers B.V., 1990, pp. 665–788.
4. Y. Gurevich. Evolving Algebras 1993: Lipary Guide. In: Börger, E., ed., Specification and Validation Methods, Oxford University Press, 1995, pp. 9–36.
5. Y. Gurevich. May 1997 Draft of the ASM Guide. University of Michigan (available electronically from http://www.eecs.umich.edu/gasm/ ).