Støvring, K. (2005) “Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative”, BRICS Report Series, 12(35). doi: 10.7146/brics.v12i35.21902.