Martin Hofmann Jaap van Oosten Thomas Streicher Well-foundedness in Realizability. 795-805 2006 45 Arch. Math. Log. 7 http://dx.doi.org/10.1007/s00153-006-0003-5 db/journals/aml/aml45.html#HofmannOS06