On the use of executable assertions in structured programs. - Ali Mili 001; Sihem Guemara; Ali Jaoua; Paul Torrés (J. Syst. Softw., 1987)