links to ecma 402 specs and api