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