Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine
Firsov, Denis
2016
http://digi.lib.ttu.ee/i/?6213