@misc{misccade242d,
title   = {Especificacoes formais em vdm: um estudo de caso},
author = {Meira, C A A and Masiero, Paulo Cesar},
year = {1990},
publisher = {Icmsc-Usp}
}