Jennifer Widom David Gries Fred B. Schneider Completeness and Incompleteness of Trace-Based Network Proof Systems. 27-38 1987 POPL db/conf/popl/popl87.html#WidomGS87