"Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings" - читать интересную книгу автора (Chris Hankin, Igor Siveroni)