Initial Semantics for higher-order typed syntax - Benedikt Ahrens; Julianna Zsido (CoRR, 2010)

Initial Semantics for higher-order typed syntax in Coq. - Benedikt Ahrens; Julianna Zsido (J. Formaliz. Reason., 2011)

Theorem of Three Circles in Coq. - Julianna Zsido (J. Autom. Reason., 2014)