Muskens, R. A Theory of Names and True Intensionality. Proceedings of the AC 2011, 446-454.