"Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings " - читать интересную книгу автора (Radhia Cousot)