@article{K04b,
  number="1--2",
  volume="51",
  month="May",
  author="Dexter Kozen",
  note="Special issue: {\em Mathematics of Program Construction (MPC 2002)}.  Eerke Boiten and Bernhard M{\"o}ller (eds.)",
  title="Some Results in Dynamic Model Theory",
  journal="Science of Computer Programming",
  year="2004",
  pages="3--22"
}