@MISC{MeryGibsonRoegel95,
  author = {M{\'e}ry, Dominique and Gibson, {J. Paul} and Roegel, Denis},
  title = {{Refining and Developing Concurrent Systems from Formal Specifications}},
  year = {1995},
  booktitle = {{ERCIM News {\it Software Quality} (23)}}
}