C
[CC01] Sérgio Vale Aguiar Campos and Edmund M. Clarke. The Verus Language: Representing Time Efficiently with BDDs. Theoretical Computer Science 253(1):95-118. Elsevier, February 2001. 
@article{tcs253(1)-CC,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Clarke, Edmund
                         M.},
  title =               {The {V}erus Language: Representing Time Efficiently
                         with {BDD}s},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {253},
  number =              {1},
  pages =               {95-118},
  year =                {2001},
  month =               feb,
}
List of authors