"Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings" - читать интересную книгу автора (Hanne Riis Nielson, Gilberto Filé)