Charles Pecheur Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. 63-70 1997 ASE http://computer.org/proceedings/ase/7961/79610063abs.htm db/conf/kbse/ase1997.html#Pecheur97