Title: An initial investigation into the design of a asynchronous temporal logic for use in digital systemdesign
First published: 1991