Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Characteristic Bisimulation for Higher-Order Session Processes. CONCUR 2015: 398-411