Chris Hankin Ian Mackie Rajagopal Nagarajan 1994 conf/imperial/1994 Theory and Formal Methods db/conf/imperial/imperial1994.html#HankinMN94