@misc{Maurer1996, author = {Maurer, Christian E. G.}, year = {1996}, title = {List objects and recursive algorithms in elementary topoi}, howpublished = "http://dx.doi.org/10.17169/refubium-21706", }