Order and recursion in topoi - Brook, Tim (Notes on pure mathematics ;, 1977)