"Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)" - читать интересную книгу автора (Jens Palsberg, Zhendong Su)