@book{21920,
	author = {ACM Symposium on Principles of Programming Languages and ACM Special Interest Group on Programming Languages},
	title = {Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages :},
	publisher = {ACM,},
	year = {1980},
	address = {New York :}
}