Observational purity and encapsulation

David A. Naumann. Observational purity and encapsulation. Theoretical Computer Science, 376(3):205-224, 2007. [doi]

Abstract

Abstract is missing.