A recursive nonstandard model of normal open induction | Publicación