B. Ahrens, “Initiality for Typed Syntax and Semantics”, JFR, vol. 8, no. 2, pp. 1–155, Jan. 2015.