@book{271817,
	author = {Teixeira Mendes, Sueli Bandeira and Aguiar, Teresa Cristina de},
	title = {Métodos para especificaçao de sistemas},
	publisher = {Escola Brasileiro-Argentina de Informatica},
	year = {1988},
	address = {Campinas}
}