"Graph Theoretical Problems in Formal Verification"
Published by Lotus® Freelance Graphics®