KARAZERIS, P., J. ROSICKÝ a J. VELEBIL. Completeness of cocompletions. Journal of Pure and Applied Algebra. 2005, roč. 196, č. 1, s. 229-250, 32 s. ISSN 0022-4049.
JANCAR, Petr a Jiří SRBA. Highly Undecidable Questions for Process Algebras. In Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). USA: Kluwer, 2004, s. ?, 14 s.