@InProceedings{mandelbaum+:effref,
  author = 	 {Yitzhak Mandelbaum and David Walker and Robert Harper},
  title = 	 {An Effective Theory of Type Refinements},
  booktitle = 	 {Proc. of the Eighth {ACM} {SIGPLAN} International Conference on Functional Programming},
  pages =	 {213--226},
  year =	 2003,
  address =	 {Uppsala, Sweden},
  month =	 {September}
}