Cita APA (7a ed.)

Mello, B. A. d., Camargo, M. S. d., & Specialski, E. S. (1997). Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes: Especificação e verificação.

Cita Chicago Style (17a ed.)

Mello, Braulio Adriano de, Murilo Silva de Camargo, y Elizabeth Sueli Specialski. Utilizando LOTOS Na Concepção Formal De Uma Aplicação Para Gerência De Redes: Especificação E Verificação. 1997.

Cita MLA (8a ed.)

Mello, Braulio Adriano de, et al. Utilizando LOTOS Na Concepção Formal De Uma Aplicação Para Gerência De Redes: Especificação E Verificação. 1997.