@InProceedings{vxt01a, author = "J.-Y. Vion-Dury and E. Pietriga", title = "A Formal Study of a Visual Language for the Visualization of Document Type Definition", editor = "IEEE Computer Society", pages = "52--59", booktitle = "IEEE Symposia on Human-Centric Computing (HCC)", year = "2001", month = "September" }