My paper (sans biblio) can be found at:
http://www.prescod.net/forest/shorttut
Forest Automata theory is a formalism for describing SGML/XML validation.
The formalism makes clear some obvious extensions to SGML/XML
validationand can be used as a source of ideas and answers relating to DTD
parameterization, "data types" (lexical data types),
validation-in-context, query languages etc.
Hopefully I will find time or funding to expand this paper eventually,
because there are many interesting highways and biways that it hints at
but does not explore.
Paul Prescod - http://itrc.uwaterloo.ca/~papresco
4'33" is rarely performed as an encore. - Steve Newcomb
(for info about 4'33":
http://www.lenzo.com/~sburke/stuff/cage_433.html
http://www.intrex.net/rwgarr/johncage.htm)