A Categorical Approach to Distributed Systems Expressibility and Knowledge.

Ruben Michel A Categorical Approach to Distributed Systems Expressibility and Knowledge. 129-143 1989 PODC db/conf/podc/podc89.html#Michel89