Beverly A. Sanders: A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). PODC 1991: 217-230