@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",
}