BibTex format
@article{Easterbrook:1994,
author = {Easterbrook, S and Finkelstein, A and Kramer, J and Nuseibeh, B},
journal = {International Journal on Concurrent Engineering: Research and Applications},
pages = {209--222},
title = {Co-ordinating Distributed Viewpoints: the anatomy of a consistency check},
volume = {2},
year = {1994}
}