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