Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order | Publicación