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