Two semantics for XPath, 2000. A note, available at http://homepages.inf.ed.ac.uk/wadler (0)

by P Wadler