@INPROCEEDINGS{GibsonMery96,
  author = {Gibson, {J. Paul} and M{\'e}ry, Dominique},
  title = {A Unifying Model for Specification and Design},
  booktitle = {Proceedings of the Workshop on Proof Theory of Concurrent Object
	Oriented Programming},
  year = {1996},
  editor = {Galmiche and Bashoun and Fiadero and Yonezawa},
  address = {Linz (Austria)},
  month = jul
}