A Formalization of Transition P Systems | Publicación