Michael Norrish
Deterministic Expressions in C
ESOP, 1999.
@inproceedings{ESOP-1999-Norrish, author = "Michael Norrish", booktitle = "{Proceedings of the Eighth European Symposium on Programming}", doi = "10.1007/3-540-49099-X_10", editor = "S. Doaitse Swierstra", isbn = "3-540-65699-5", pages = "147--161", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Deterministic Expressions in C}", volume = 1576, year = 1999, }