@article{ShYi2001d,
   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},
   category = {program-logics},
   format = {ps},
}