Fujinami, T. (1995) “A Process Algebaraic Approach to Situation Semantics”, Proceedings of the Amsterdam Colloquium, pp. 263–282. doi:10.53437/1f60bd33.