@book{21577,
	author = {Nielson, Flemming, 1955-},
	title = {Principles of program analysis},
	publisher = {Springer},
	year = {1999},
	address = {Berlin ; New York}
}