@InProceedings{Davies97,
  author = 	 {Rowan Davies},
  title = 	 {A Practical Refinement-Type Checker for Standard ML},
  booktitle = 	 {Sixth International Conference on Algebraic Methodology and Software Technology},
  year =	 1997,
  month =	 {December}
}