%O Generic 
%F sacres-I1.1A
%A Consortium, Sacres
%T Task I1.1A: StateMate integration - the stm2dcplus translator
%B Esprit project EP 20897: Sacres
%8 April
%D 1998