@Book{Costa1993,
		  title     = {Sistemas formais inconsistentes},
		    publisher = {Editora UFPR},
			  year      = {1993},
			    author    = {Da Costa, Newton CA},
				  volume    = {3},
}