@InProceedings{ADM03NASA,
  author = "M. Archer and B. Di Vito and C. Mu{\~n}oz",
  title = "Developing User Strategies in {PVS}: A Tutorial",
  booktitle = "Proceedings of Design and Application of Strategies/Tactics in Higher Order Logics STRATA'03",
  series = "NASA/CP-2003-212448",
  institution = "NASA Langley Research Center", 
  address = "NASA LaRC, Hampton VA 23681-2199, USA",
  month= "September",
  year = "2003"
}