Citação norma APA

Hinchey, M. G., & Bowen, J. P. (1995). Applications of formal methods. Prentice Hall.

Citação norma Chicago

Hinchey, Michael G., and J. P. Bowen. Applications of Formal Methods. London: Prentice Hall, 1995.

Citação norma MLA

Hinchey, Michael G., and J. P. Bowen. Applications of Formal Methods. Prentice Hall, 1995.

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