@conference{HO10spin,
  title = "Analysing Mu-Calculus Properties of Pushdown Systems (Tool Presentation)",
  author = "M. Hague and C.-H. L. Ong",
  year = "2010",
  booktitle = "SPIN",
  note = "Submitted tool webpage available <a href="pdsolver_spin.html">here</a>.  Latest version available <a href="pdsolver.html">here</a>.
Additional material available <a href="SpinBackwardsMu.pdf">here</a>.",
}