1. Ada Reference Manual: Language and Standard Libraries, version 6.0. International standard ISO/IEC 8652:1995(E) (1994),
http://www.adahome.com/rm95/
2. Lecture Notes in Computer Science;D. Aspinall,2002
3. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl: The Common Algebraic Specification Language. Theoretical Computer Science 286, 153–196 (2002)
4. Astesiano, E., Krieg-Brückner, B., Kreowski, H.-J. (eds.): Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)
5. Bauer, F., Wössner, H.: Algorithmic Language and Program Development. Springer, Heidelberg (1982)