Conservative extensions: a cautionary note. - Paddy Byers; David H. Pitt (Bull. EATCS, 1990)

The Rest Says Unchanged (Concurrency and State-Based Specification). - David H. Pitt; Paddy Byers (Formal Aspects Comput., 1994)