@article{ShYi01b,
  author = "Nikolay Shilov and Kwangkeun Yi",
  title = "How to Find a Coin: Propositional Program Logics Made Easy",
  journal = "Bulletin of the European Association for Theoretical Computer Science",
  volume = "75",
  pages = "127-151",
  year = "2001"
}