Cita APA (7a ed.)

Veloso, P. A. S. (1986). Verificação e construção de programas. UNICAMP.

Cita Chicago Style (17a ed.)

Veloso, Paulo A. S. Verificação E Construção De Programas. Campinas: UNICAMP, 1986.

Cita MLA (8a ed.)

Veloso, Paulo A. S. Verificação E Construção De Programas. UNICAMP, 1986.