Trace theory for automatic hierarchical verification of speed-independent circuits - Dill, David L. (MIT Press, 1989)
Includes index.