1. Clarke, E.M., O. Grumberg, and D.A. Peled: Model Checking, MIT Press, 1999.
2. Compaq Systems Research Center, http://www.research.compaq.com/SRC/esc/Esc.html
3. Detlefs, D., K. Rustan M. Leino, G. Nelson, and J.B. Saxe: Extended Static Checking, Compaq SRC Research Report 159, 1998.
4. Evans, D., J. Guttag, J.J. Horning, and Y.M. Tan: LCLint: A Tool for Using Specifiations to Check Code, SIGSOFT Symposium on the Foudations of Software Engineering, December 1994.
5. Gries, D.: The Science of Programming, Springer-Verlag, 1981.