@mastersthesis{mastersthesis4cee9128,
title   = {Geração parcial de código Java a partir de especificações formais Z},
author = {Miyazawa, Alvaro Heiji and Melo, Ana Cristina Vieira de},
year = {2008},
school = {Universidade de São Paulo}
}