@article{1387526,
      author = {Dill, David L.},
      url = {http://library.usi.edu/record/1387526},
      title = {Trace theory for automatic hierarchical verification of  speed-independent circuits /},
      publisher = {MIT Press,},
      recid = {1387526},
      pages = {1 online resource (163 pages) :},
      address = {Cambridge, Mass. :},
      year = {1989},
}