A Hoare-style Proof System for LOTOS.

S. Gallouzi Luigi Logrippo Abdellatif Obaid A Hoare-style Proof System for LOTOS. 49-62 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#GallouziLO90