Trace theory and VLSI design - Snepschenut Jan L A (Berlin Springer Verlag, 1985)