"Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings " - читать интересную книгу автора (Pascal van Hentenryck)