Citação norma APA

Nunes, C. A. L., & Paiva, A. C. R. (2011). Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder.

Citação norma Chicago

Nunes, Carlos A. L., and Ana C. R. Paiva. Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder. 2011.

Citação norma MLA

Nunes, Carlos A. L., and Ana C. R. Paiva. Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder. 2011.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.