The following pages link to Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417):
Displaying 1 item.