Vladimir Itsykson, Andre Scedrov, Victor Zakharov Tools and Methods of Program Analysis - Springer Springer 2018 ISBN: 9783319717340 Source: EBOOK