Dyck Language. - Tobias Nipkow; Moritz Roos (Arch. Formal Proofs, 2025)

Chomsky-Schützenberger Representation Theorem. - Moritz Roos (Arch. Formal Proofs, 2025)