Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins: Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55