Formal Reasoning on Natural Language Descriptions of Processes | Publicación