D
[DN07] Stéphane Demri and David Nowak. Reasoning about Transfinite Sequences. International Journal of Foundations of Computer Science 18(1):87-112. February 2007. 
@article{ijfcs18(1)-DN,
  author =              {Demri, St{\'e}phane and Nowak, David},
  title =               {Reasoning about Transfinite Sequences},
  journal =             {International Journal of Foundations of Computer
                         Science},
  volume =              {18},
  number =              {1},
  pages =               {87-112},
  year =                {2007},
  month =               feb,
  doi =                 {10.1142/S0129054107004589},
}
List of authors