1. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P., Sannella, D., Tarlecki, A.: CASL: The Common Algebraic Specification Language. Theoretical Computer Science (2002)
2. Benzmüller, C., Cheikhrouhou, L., Fehrer, D., Fiedler, A., Huang, X., Kerber, M., Kohlhase, M., Konrad, K., Melis, E., Meier, A., Schaarschmidt, W., Siekmann, J., Sorge, V.: ΩMEGA: Towards a mathematical assistant. In: McCune, W. (ed.) Proceedings of the 14th Conference on Automated Deduction, pp. 252–255. Springer, Heidelberg (1997)
3. Belo, J.: Dependently Sorted Logic. In: Miculan, M., Scagnetto, I., Honsell, F. (eds.) TYPES 2008, pp. 33–50. Springer, Heidelberg (2008)
4. Benzmller, C., Paulson, L., Theiss, F., Fietzke, A.: The LEO-II Project. In: Automated Reasoning Workshop (2007)
5. Lecture Notes in Computer Science;C. Brown,2006