Støvring, K. (2006) “Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative”, BRICS Report Series, 13(5). doi: 10.7146/brics.v13i5.21911.