Trace-Based Network Proof Systems: Expressiveness and CompletenessJennifer WidomDavid Grieset al.1992ACM Transactions on Programming Languages and Systems (TOPLAS)