@inproceedings{K08b,
  city="Pittsburgh",
  booktitle="Proc. 23rd IEEE Symp. Logic in Computer Science (LICS'08)",
  month="June",
  title="Nonlocal Flow of Control and {K}leene Algebra with Tests",
  author="Dexter Kozen",
  pages="105--117",
  year="2008"
}