Computation as logic. - René Lalement (Prentice Hall, 1993)

Checking the Serial Correctness of Control-Parallel Programs. - Gilbert Caplain; René Lalement; Thierry Salset (PARLE, 1994)