@mastersthesis{mastersthesis64454bae,
title   = {Teste estrutural de programas concorrentes como uma composição de serviços na Web},
author = {Prado, Rafael Regis do and Souza, Paulo Sérgio Lopes de},
year = {2016},
school = {Universidade de São Paulo}
}