Where are the semantics of shared defined?

[thedeemon via Digitalmars-d]

Anrei's TDPL book spent a lot of words on shared (and this book 
had kind-of-a-spec reputation), but I don't know how much of it 
is relevant now.