Citação norma APA

Leitão, P., Colombo, A. W., & Restivo, F. J. d. O. (2003). A formal validation approach for holonic control system specifications.

Citação norma Chicago

Leitão, Paulo, Armando W. Colombo, and Francisco José de Oliveira Restivo. A Formal Validation Approach for Holonic Control System Specifications. 2003.

Citação norma MLA

Leitão, Paulo, et al. A Formal Validation Approach for Holonic Control System Specifications. 2003.

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