Formal Workflow Specification Applied to Hotel Management Information Systems | Publicación