David A. Naumann. Ideal Models for Pointwise Relational and State-Free Imperative Programming. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 4-15, ACM, 2001.
Abstract is missing.