documentation and papers about const/invariant

[Robert Fraser]

Sean Kelly wrote:
> Dee Girl wrote:
>> There is a little documentation about const invariant on the web site. 
>> I read it. And also I read ACCU-functional. Is there more 
>> documentation? Like conference paper or manual. Does Tango book 
>> document const? Thank you, Dee Girl
> 
> At the time of writing, the design of const/invariant didn't seem 
> finalized so we left it alone.  And as far as I know, there are no 
> papers or manuals on the subject.  Nor documentation of the thought 
> process behind the design.

There's http://www.digitalmars.com/d/2.0/const.html