Additional Technical References

Chapter 6:   Characteristics of Formal Equivalency Verification