Fernández-Fernández C, Simons A. An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method. JART [Internet]. 2014 Oct. 1 [cited 2024 Apr. 28];12(5). Available from: https://jart.icat.unam.mx/index.php/jart/article/view/170