K
[KPS+99] Yonit Kesten, Amir Pnueli, Joseph Sifakis, and Sergio Yovine. Decidable Integration Graphs. Information and Computation 150(2):209-243. Academic Press, May 1999. 
@article{icomp150(2)-KPSY,
  author =              {Kesten, Yonit and Pnueli, Amir and Sifakis, Joseph
                         and Yovine, Sergio},
  title =               {Decidable Integration Graphs},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {150},
  number =              {2},
  pages =               {209-243},
  year =                {1999},
  month =               may,
  doi =                 {10.1006/inco.1998.2774},
}
List of authors