Ulla Gamwell Dawids, Hans Henrik Løvengreen. Rigorous Development of a Distributed Calendar System. In J. W. de Bakker, A. J. Nijman, Philip C. Treleaven, editors, PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Volume 259 of Lecture Notes in Computer Science, pages 188-205, Springer, 1987.
@inproceedings{DawidsL87, title = {Rigorous Development of a Distributed Calendar System}, author = {Ulla Gamwell Dawids and Hans Henrik Løvengreen}, year = {1987}, researchr = {https://researchr.org/publication/DawidsL87}, cites = {0}, citedby = {0}, pages = {188-205}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, volume = {259}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-17945-3}, }