Online First publication. - Christiane Notarmarco; N. Stokes (Requir. Eng., 2003)

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