@article{ShilovYi01elsewhere,
  author = "Nikolay Shilov and Kwangkeun Yi",
  title = "Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers",
  journal = "Electronic Notes in Theoretical Computer Science",
  volume = "43",
  year = "2001",
  url = "http://www.elsevier.nl/gej-ng/31/29/23/72/23/show/Products/notes/"
}