A. Salcianu, и M. Rinard. Verification, Model Checking, andVerification, Model Checking, and
Abstract Interpretation, 6th International Conference, VMCAI 2005,
Proceedings Abstract Interpretation, 6th International Conference,
VMCAI 2005, Proceedings, том 3385 из Lecture Notes in Computer Science, стр. 199-215. Springer, (2005)