@INPROCEEDINGS{GibsonMery98II,
  author = { Gibson, {J. Paul} and M{\'e}ry, Dominique },
  title = {Always and Eventually in Object Requirements},
  booktitle = { Second Workshop on Rigorous Object Oriented Methods {(ROOM 2)}},
  year = {1998},
  editor = {Evans, {A.S}},
  month = may,
  address = {Bradford, West Yorkshire, UK}
}