Citação norma APA

Campos, J. C., & Harrison, M. D. (2001). Model checking interactor specifications.

Citação norma Chicago

Campos, J. Creissac, and M. D. Harrison. Model Checking Interactor Specifications. 2001.

Citação norma MLA

Campos, J. Creissac, and M. D. Harrison. Model Checking Interactor Specifications. 2001.

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