Alexandr A. Savinov Concepts and their Use for Modelling Objects and References in Programming Languages http://arxiv.org/abs/0801.0135 2008 CoRR abs/0801.0135 db/journals/corr/corr0801.html#abs-0801-0135 informal publication