Fujinami, Tsutomu. “A Process Algebaraic Approach to Situation Semantics”. Proceedings of the Amsterdam Colloquium, Dec. 1995, pp. 263-82, https://platform.openjournals.nl/PAC/article/view/24639.