An intelligent task analysis approach for special education based on MIRA
Logic in computer science: modelling and reasoning about systems