@inproceedings{Simpson_et_al_1999,
  title = "{BSP} in {CSP}: Easy as {ABC}",
  author = "A. C. Simpson and J. M. D. Hill Hill and S. R. Donaldson",
  year = "1999",
  booktitle = "Proceedings of Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications, San Juan,
Puerto Rico, April 1999",
  pages = "1299--1313",
  publisher = "Springer-Verlag Lecture Notes in Computer Science",
}