A
[AK86] Krzysztof Apt and Dexter C. Kozen. Limits for automatic verification of finite-state concurrent systems. Information Processing Letters 22(6):307-309. Elsevier, May 1986. 
@article{ipl22(6)-AK,
  author =              {Apt, Krzysztof and Kozen, Dexter C.},
  title =               {Limits for automatic verification of finite-state
                         concurrent systems},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {22},
  number =              {6},
  pages =               {307-309},
  year =                {1986},
  month =               may,
  doi =                 {10.1016/0020-0190(86)90071-2},
}
List of authors