Formalization of the control stack | Publicación