Haruo Hosoya Jerome Vouillon Benjamin C. Pierce Regular expression types for XML. 11-22 2000 ICFP http://doi.acm.org/10.1145/351240.351242 db/conf/icfp/icfp2000.html#HosoyaVP00