Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Hinchey, Michael G., y J. P. Bowen. Applications of Formal Methods. London [etc.]: Prentice-Hall, 1996.

Cita MLA (9a ed.)

Hinchey, Michael G., y J. P. Bowen. Applications of Formal Methods. Prentice-Hall, 1996.