@book{1628113,
	author = {Vladimir Itsykson, Andre Scedrov, Victor Zakharov},
	title = {Tools and Methods of Program Analysis},
	publisher = {Springer},
	url = {https://link.springer.com/openurl?genre=book&isbn=978-3-319-71734-0}
}