Return to Article Details An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method Download Download PDF