Ralph-Johan Back Anna Mikhajlova Joakim von Wright Reasoning About Interactive Systems. 1460-1476 1999 conf/fm/1999-2 World Congress on Formal Methods https://doi.org/10.1007/3-540-48118-4_27 db/conf/fm/fm1999-2.html#BackMW99