@InProceedings{spider_abstractions,
  author =    {Lee Pike and Jeffrey Maddalon and Paul Miner and Alfons Geser},
  title =     {Abstractions for Fault-Tolerant Distributed System Verification},
  booktitle = {Theorem Proving in Higher Order Logics ({TPHOL}s)},
  year =      {2004},
  pages =     {257--270},
  editor =    {Konrad Slind and Annette Bunker and Ganesh Gopalakrishnan},
  volume =    {3223},
  series =    {Lecture Notes in Computer Science},
  publisher = {Springer},
  note =      {Available at \url{http://www.cs.indiana.edu/~lepike/pub_pages/abstractions.html}}}