Alan Mycroft Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings Lecture Notes in Computer Science 983 Springer 1995 3-540-60360-3 db/conf/sas/sas95.html