ARIA/HTML5 Design References

WAI-ARIA 1.0 Authoring Practices
Keyboard support
Coding patterns for roles. properties and states
References to examples
W3C Notes on Using ARIA in HTML
Practical advise on using ARIA in web pages
ARIA in HTML
Default semantics of HTML5 elements
Semantics restrictions on HTML5 elements