Ahrens, B. Initiality for Typed Syntax and Semantics. JFR 2015, 8, 1-155.