A Framework for Programming and Formalizing Concurrent Objects

@inproceedings{Bahsoun-al:FSE93,
  author    = {Jean Paul Bahsoun and
               Stephan Merz and
               Corinne Servieres},
  title     = {A Framework for Programming and Formalizing Concurrent Objects},
  booktitle = {FSE},
  pages     = {126--137},
  publisher = {{ACM}},
  year      = {1993},
}