> hang on a minute.. :) There are counter-examples. See the link below for
> a formal specification XPath.
>
> http://cm.bell-labs.com/cm/cs/who/wadler/papers/xpath-semantics/
xpath-semantics.pdf
>
> This is the clearest spec of XPath I've seen, and much easier to read
> than the verbose XPath spec. Then again, maybe XPath lends itself to
> this kind of specification. (denotational semantics)
In the XPath paper thatis as a clearest XPath
spec, where is the keyword ancestor-of-self ?
Are you sure that that paper is an XPath specification?
Rgds.Paul.
