Shlomit S. Pinter Pierre Wolper A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). 28-37 1984 PODC db/conf/podc/podc84.html#PinterW84