. S. Ahms99, D. Autexier, H. Hutter, A. Mantel, and . Schairer, Towards an Evolutionary Formal Software-Development Using CASL, Lecture Notes in Computer Science, vol.1827, pp.73-88, 1999.

M. Clavel, S. Eker, P. Lincoln, J. J. Meseguer-;-cfk14, W. Carette et al., Realms: A Structure for Consolidating Knowledge about Mathematical Theories, Proceedings of the First International Workshop on Rewriting Logic, vol.4, pp.287-288, 1996.

. M. Chk-+-11, F. Codescu, M. Horozal, T. Kohlhase, F. Mossakowski et al., Coq15. Coq Development Team. The Coq Proof Assistant: Reference Manual, Conference on Automated Deduction, vol.11, pp.213-248, 1992.

. J. Gwm-+-93, T. Goguen, J. Winkler, K. Meseguer, J. Futatsugi et al., Introducing OBJ, Applications of Algebraic Specification using OBJ. Cambridge, 1993.

F. Kammüller, M. Wenzel, L. T. Paulson-;-mml07, C. Mossakowski, K. Maeder et al., Tools and Algorithms for the Construction and Analysis of Systems, Theorem Proving in Higher Order Logics, vol.4424, pp.519-522, 1999.

D. Müller, F. Rabe, and M. Kohlhase, Theories as Types, Automated Reasoning, pp.575-590, 2018.

F. Pfenning and C. Schürmann, System description: Twelf -a meta-logical framework for deductive systems, SW83. D. Sannella and M. Wirsing. A Kernel Language for Algebraic Specification and Implementation, vol.27, pp.413-427, 1983.