Xavier Rival Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings SAS Springer 2016 Lecture Notes in Computer Science 9837 978-3-662-53412-0 https://doi.org/10.1007/978-3-662-53413-7 https://www.wikidata.org/entity/Q57664985 db/conf/sas/sas2016.html