H
[HKP82] David Harel, Dexter C. Kozen, and Rohit Parikh. Process Logic: Expressiveness, Decidability and Completeness. Journal of Computer and System Sciences 25(2):144-170. Academic Press, October 1982. 
@article{jcss25(2)-HKP,
  author =              {Harel, David and Kozen, Dexter C. and Parikh, Rohit},
  title =               {Process Logic: Expressiveness, Decidability and
                         Completeness},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {25},
  number =              {2},
  pages =               {144-170},
  year =                {1982},
  month =               oct,
}
List of authors