Section 3.1
Through 3.3.3
Section 3.3.4, circuit simulator
Section 3.3.5, constraint networks