David A. Naumann
Ideal Models for Pointwise Relational and State-Free Imperative Programming
PPDP, 2001.
@inproceedings{PPDP-2001-Naumann, author = "David A. Naumann", booktitle = "{Proceedings of the Third International Conference on Principles and Practice of Declarative Programming}", isbn = "1-58113-388-X", pages = "4--15", publisher = "{ACM}", title = "{Ideal Models for Pointwise Relational and State-Free Imperative Programming}", year = 2001, }