Fujinami, T. 1995. A Process Algebaraic Approach to Situation Semantics. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 263–282.