C. Fernández-Fernández and A. Simons, “An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method”, JART, vol. 12, no. 5, Oct. 2014.