Citação APA (7ª ed.)

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

Citação do estilo Chicago (17ª ed.)

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

Citação MLA (8ª ed.)

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.