Vincenza Carchiolo Gesualdo Le Moli Sergio Palazzo Giuseppe Pappalardo Modelling and Specifying a Presentation Protocol by Temporal Ordering. 423-440 1984 conf/pstv/1984 PSTV db/conf/pstv/pstv1984.html#CarchioloMPP84