S
[SR99] Pierre-Yves Schobbens et Jean-François Raskin. The Logic of "Initially" and "Next". Information Processing Letters 69(5):221-225. Elsevier, 1999. 
@article{ipl69(5)-SR,
  author =              {Schobbens, Pierre-Yves and Raskin, Jean-Fran{\c
                         c}ois},
  title =               {The Logic of {"}Initially{"} and {"}Next{"}},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {69},
  number =              {5},
  pages =               {221-225},
  year =                {1999},
}
Liste des auteurs