PA Palanque; R. Bastide: Petri Net Based Design of User-Driven Interfaces Using Interactive Cooperative Objects Formalism. DSVIS'94. Pisa. June 1994. W. Mallgren: Formal …