José Espírito Santo, Ralph Matthes, Luís Pinto: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. TLCA 2007: 133-147