-J. L. A. van de Snepscheut: Trace Theory and VLSI Design, Springer-Verlag 1985