Eugène Dürr, S. J. Goldsack
Rigorous Development of Concurrent O-O Systems
TOOLS, 1994.
@inproceedings{TOOLS-EUROPE-1994-DurrG,
author = "Eugène Dürr and S. J. Goldsack",
booktitle = "{Proceedings of the 13th International Conference on Technology of Object-Oriented Languages and Systems}",
isbn = "0-13-350539-1",
pages = "515",
publisher = "{Prentice Hall}",
title = "{Rigorous Development of Concurrent O-O Systems}",
year = 1994,
}