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 2014, 12.