@inproceedings{ toz01,
  crossref = {doceng01},
  author = {Akihiko Tozawa},
  title = {Towards Static Type Checking for XSLT},
  doi = {10.1145/502187.502191},
  topic = {xslt1[0.9]}
}