W
[Wal00] Igor Walukiewicz. Model Checking CTL Properties of Pushdown Systems. In FSTTCS'00, Lecture Notes in Computer Science 1974, pages 127-138. Springer-Verlag, December 2000. 
@inproceedings{fsttcs2000-Wal,
  author =              {Walukiewicz, Igor},
  title =               {Model Checking {CTL} Properties of Pushdown Systems},
  editor =              {Kapoor, Sanjiv and Prasad, Sanjiva},
  booktitle =           {{P}roceedings of the 20th {C}onference on
                         {F}oundations of {S}oftware {T}echnology and
                         {T}heoretical {C}omputer {S}cience ({FSTTCS}'00)},
  acronym =             {{FSTTCS}'00},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1974},
  pages =               {127-138},
  year =                {2000},
  month =               dec,
}
List of authors