APA

Veloso P. a. S., . (1986). Verificacao e construcao de programas. Campinas: Escola Brasileiro-Argentina de Informatica.

Chicago

Veloso Paulo a S, . 1986. Verificacao e construcao de programas. Campinas: Escola Brasileiro-Argentina de Informatica.

Harvard

Veloso P. a. S., . (1986). Verificacao e construcao de programas. Campinas: Escola Brasileiro-Argentina de Informatica.

MLA

Veloso Paulo a S, . Verificacao e construcao de programas. Campinas: Escola Brasileiro-Argentina de Informatica. 1986.