@inproceedings{d3a03f46823843f681fa32a418451713,
title = "On the use of specifiation styles in the design of distributed systems",
author = "C.A. Vissers and G. Scollo and {Sinderen, van}, M.J. and E. Brinksma",
year = "1989",
doi = "10.1007/3-540-50940-2_27",
language = "English",
isbn = "3-540-50940-2",
volume = "2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "60",
editor = "J. Diaz and F. Orejas",
booktitle = "Tapsoft'89 (Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989)",
address = "Germany",
}