@book{21923,
	author = {ACM Symposium on Principles of Programming Languages and ACM Special Group on Automata an Computability Theory},
	title = {Conference record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages :},
	publisher = {Association for Computing Machinery,},
	year = {1986},
	address = {New York :}
}