@mastersthesis{mastersthesis73027652,
title   = {Um modelo formal para a Quinta Disciplina},
author = {Silva, Lourival Paulino da and Silva, Flávio Soares Corrêa da},
year = {2004},
school = {Universidade de São Paulo}
}