Cita APA (7a ed.)

Alencar, P. S. d., & Lucena, C. J. d. (1989). Métodos formais para o desenvolvimento de programas. Kapelusz.

Cita Chicago Style (17a ed.)

Alencar, Paulo S.C. de, y Carlos J.P. de Lucena. Métodos Formais Para O Desenvolvimento De Programas. Buenos Aires: Kapelusz, 1989.

Cita MLA (8a ed.)

Alencar, Paulo S.C. de, y Carlos J.P. de Lucena. Métodos Formais Para O Desenvolvimento De Programas. Kapelusz, 1989.