@mastersthesis{mastersthesise1d23a8b,
title   = {A técnica de descrição formal ESTELLE utilizada para especificação do serviço da camada sessão},
author = {Vaz, Maria Fernanda Rodrigues and Stiubiener, Stefania},
year = {1989},
school = {Universidade de São Paulo}
}