Verification of LOTOS specifications using term rewriting techniques. - Carron Elizabeth Kirkwood (1994)