Maguelonne Teisseire Pascal Poncelet Rosine Cicchetti IFO2: a Uniform Approach for Information System Modelling. 33-53 1994 DAISD db/conf/daisd/daisd94.html#TeisseirePC94