Erkan Tin Varol Akman Computational Situation Theory. 4-17 1994 5 SIGART Bulletin 4 db/journals/sigart/sigart5.html#TinA94