Jean-Claude Fernandez Jean-Luc Richier Jacques Voiron Verification of protocol specificaitons using the CESAR system. 71-90 1985 conf/pstv/1985 PSTV db/conf/pstv/pstv1985.html#FernandezRV85