@Article{Basagni99a,
  AUTHOR	= {Basagni, S.},
  TITLE		= {A Note on Causal Trees and Their Applications to {CCS}},
  JOURNAL	= {International Journal of Computer Mathematics},
  VOLUME	= {71},
  PAGES		= {137--159},
  MONTH		= {April},
  YEAR		= {1999},
  }