Eugène Dürr, S. J. Goldsack. Rigorous Development of Concurrent O-O Systems. In Boris Magnusson, Bertrand Meyer, Jean-Marc Nerson, Jean-François Perrot, editors, TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe. pages 515, Prentice Hall, 1994.
@inproceedings{DurrG94,
title = {Rigorous Development of Concurrent O-O Systems},
author = {Eugène Dürr and S. J. Goldsack},
year = {1994},
researchr = {https://researchr.org/publication/DurrG94},
cites = {0},
citedby = {0},
pages = {515},
booktitle = {TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe},
editor = {Boris Magnusson and Bertrand Meyer and Jean-Marc Nerson and Jean-François Perrot},
publisher = {Prentice Hall},
isbn = {0-13-350539-1},
}