M. . BRAMBILLA, S. . CERI, S. . COMAI, P. . FRATERNALI, and I. MANOLESCU, “SPECIFICATION AND DESIGN OF WORKFLOW-DRIVEN HYPERTEXTSa”, JWE, vol. 1, no. 2, pp. 163–182, Jun. 2003.