@book{42357,
	title = {ACM Transations on Programming Language and Systems},
	publisher = {:ACM},
	year = {@2011-},
	address = {.-New York}
}