Title: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, Author: David L. Dill
Title: Ultrafast Fiber Switching Devices and Systems, Author: Mohammed N. Islam