A Formal Methodology to Specify E-commerce Systems. - Adriano C. M. Pereira; Mark A. J. Song; Gustavo Gorgulho; Wagner Meira Jr.; Sérgio Vale Aguiar Campos (ICFEM, 2002)

Extending UML to Specify and Verify E-commerce Systems. - Mark A. J. Song; Adriano C. M. Pereira; Fernanda Lima; Gustavo Gorgulho; Sérgio Vale Aguiar Campos; Wagner Meira Jr. (SEKE, 2003)

A Software Engineering Process to Specify and Verify E-Commerce Systems. - Mark A. J. Song; Adriano C. M. Pereira; Fernanda Lima; Gustavo Gorgulho; Sérgio Vale Aguiar Campos; Wagner Meira Jr. (Software Engineering Research and Practice, 2003)

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems. - Adriano C. M. Pereira; Mark A. J. Song; Gustavo Gorgulho (Electron. Commer. Res., 2006)