Steven Awodey, Nicola Gambino, Kristina Sojakova: Inductive Types in Homotopy Type Theory. LICS 2012: 95-104