@inbook{ShYi04,
  author = "Nikolay V. Shilov and Kwangkeun Yi",
  title = "How to find a coin: propositional program logics made easy",
  volume = "2: Formal Models and Semantics",
  series = "Current Trends in Theoretical Computer Science",
  chapter = "Logic in Computer Science",
  pages = "181-214",
  publisher = "World Scientific",
  month = "apr",
  year = "2004"
}