Conference paperEvent matching using the transitive closure of dependency relationsDaniel M. Bikel, Vittorio CastelliACL 2008
Conference paperThe Pensieve project: A compiler infrastructure for memory modelsChi-Leung Wong, Zehra Sura, et al.I-SPAN 2002