Ahrens, B. “Initiality for Typed Syntax and Semantics”. Journal of Formalized Reasoning, vol. 8, no. 2, Jan. 2015, pp. 1-155, doi:10.6092/issn.1972-5787/4712.