@book{40984,
	author = {; IEEE },
	title = {Symposium on Logic In Computer Science.},
	publisher = {: The Computer Society},
	year = {,1987.},
	address = {New York}
}