Michael J. C. Gordon: Relating Event and Trace Semantics of Hardware Description Languages. Comput. J. 45(1): 27-36 (2002)