D. Beyer, T. Henzinger, R. Majumdar, и A. Rybalchenko. Proceedings of 8th Verification, Model Checking, and Abstract Interpretation International Conference (VMCAI 2007), том 4349/2007 из Lecture Notes in Computer Science, Nice, France, Springer, (января 2007)