Primitive Recursion, Equality, and a Universal Set. - Michael Pfender; K. Kröplin; D. Pape (Math. Struct. Comput. Sci., 1994)