In case anyone is interested, a paper that (among other things) defines “mutable value semantics” has been accepted into the Journal of Object Technology ‘s upcoming issue. A preprint is available here .
(correcting link and deleting the original post, thanks @David_Sweeris !)