XDuce: A statically typed XML processing language (2003)

by Haruo Hosoya, Benjamin C Pierce
Venue:ACM Trans. Internet Techn