Chp 1 - Planarity

Drawing Graphs With Dot (DotGuide)

Abstractions From Proofs (HENZINGER, T. a. Et Al., 2004)

Symbolic Model Checking. Doctor Thesis (MCMILLIAN, K. L., 1992)

Chp 2 - Crossings

Verbs - Verifiation of Finite State Systems Based on Bounded Correctness Checking

Symbolic Model Checking (PISTORE, M.; ROVERI, M., 2004)

A Practical and Complete Aproach to Predicate Refinement (JAHALA, R.; McMILLAN, K. L., 2005)

An Interpolation Theorem Prover (McMILLAN, K. L., 2005)

Applications of Craig Interpolants in Model Checking. (MCMillan, K. L, 2005)