Fernández-Fernández, C., and A. Simons. “An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method”. Journal of Applied Research and Technology, vol. 12, no. 5, Oct. 2014, doi:10.1016/S1665-6423(14)70597-8.