Joseph A. Goguen Kai Lin A. Mori Grigore Rosu A. Sato Distributed Cooperative Formal Methods Tools. 55-62 1997 ASE http://computer.org/proceedings/ase/7961/79610055abs.htm db/conf/kbse/ase1997.html#GoguenLMRS97