Stepwise Specification of Interactive Processes in COO. - Claude Godart; D. Dietrich (EWSPT, 1995)