"Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (Peter A. Fritzson)