Towards an Evolutionary Formal Software-Development Using CASL, Lecture Notes in Computer Science, vol.1827, pp.73-88, 1999. ,
Realms: A Structure for Consolidating Knowledge about Mathematical Theories, Proceedings of the First International Workshop on Rewriting Logic, vol.4, pp.287-288, 1996. ,
Coq15. Coq Development Team. The Coq Proof Assistant: Reference Manual, Conference on Automated Deduction, vol.11, pp.213-248, 1992. ,
Introducing OBJ, Applications of Algebraic Specification using OBJ. Cambridge, 1993. ,
Tools and Algorithms for the Construction and Analysis of Systems, Theorem Proving in Higher Order Logics, vol.4424, pp.519-522, 1999. ,
Theories as Types, Automated Reasoning, pp.575-590, 2018. ,
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. ,