BibTex format
@inbook{Kramer:2005,
author = {Kramer, J and Magee, J},
booktitle = {Communicating Sequential Processes: The First 25 Years},
pages = {211--219},
publisher = {Springer-Verlag},
title = {Model-based Design of Concurrent Programs},
year = {2005}
}