Anders Gammelgaard Jens E. Kristensen Interaction detection, a logical approach. 178-196 1994 conf/fiw/1994 FIW db/conf/fiw/fiw1994.html#GammelgaardK94