Tin, Erkan and Akman, Varol  (1994) Computational Situation Theory.  [Journal (Paginated)]