@book{33003,
	author = {Furtado, Antonio Luz},
	title = {Formal techniques for database design /},
	publisher = {Springer-Verlad,},
	year = {c1986.},
	address = {Berlin :},
	note = {Includes references and subject index.}
}