[1] Arthur Ryman (IBM; Web Services Description WG) Z in WSDL http://www.w3.org/2006/Talks/0301-z-notation.pdf

[2] displets