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