Eric Dubois Philippe Du Bois Frédéric DuBru Animating Formal Requirements Specifications of Cooperative Information Systems. 101-112 1994 CoopIS db/conf/coopis/coopis94.html#DuboisBD94