@inproceedings{BroersenWieringaFMOODS99,
   title = {A Logic for the Specification of Multi-Object Systems},
   author = {J.M. Broersen and R.J. Wieringa},
   year = {1999},
   editor = {P. Ciancarini and A. Fantechi and R. Gorrieri},
   booktitle = {Formal Methods for Open Object-Based Distributed Systems},
   publisher = klw,
   pages = {241--258}}