@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 = {April},
   year = {2004},
   format = {ps.gz},
   category = {program-logics},
}