Online First Publication. - Cliff B. Jones; D. J. Cooke; Christiane Notarmarco (Formal Aspects Comput., 2004)