@article{Weih96,
    author      = "David Weih and Mark Greenstreet",
    title       = "Verifying Asynchronous Data Path Circuits",
    journal     = "{IEE} Proceedings, Part {E}, Computers and
		   Digital Techniques",
    volume      = 143,
    number      = 5,
    pages       = "295--300",
    month       = Sep,
    year        = 1996  
}