Hinchey, M. G., & Bowen, J. P. (1995). Applications of formal methods. Prentice Hall.
Citação norma ChicagoHinchey, Michael G., and J. P. Bowen. Applications of Formal Methods. London: Prentice Hall, 1995.
Citação norma MLAHinchey, 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.