@Article{harper:regexp,
  author = 	 {Robert Harper},
  title = 	 {Proof-Directed Debugging},
  journal = 	 jfp,
  year = 	 {1999},
  volume =	 {9},
  number =	 {4},
  month =	 {July},
  pages =	 {463--470}
}