Frances M. T. Brazier Jan Treur Niek J. E. Wijngaards Mark Willems Temporal Semantics of Compositional Task Models and Problem Solving Methods. 17-42 1999 29 Data Knowl. Eng. 1 db/journals/dke/dke29.html#BrazierTWW99 http://dx.doi.org/10.1016/S0169-023X(98)00029-9