W
[Wol83] Pierre Wolper. Temporal Logic Can Be More Expressive. Information and Control 56(1-2):72-99. Academic Press, 1983. 
@article{icont56(1-2)-Wol,
  author =              {Wolper, Pierre},
  title =               {Temporal Logic Can Be More Expressive},
  publisher =           {Academic Press},
  journal =             {Information and Control},
  volume =              {56},
  number =              {1-2},
  pages =               {72-99},
  year =                {1983},
}
Liste des auteurs