Dan Russell
MAP: A Functional Analysis and Design Method
ICFP, 1998.
@inproceedings{ICFP-1998-Russell, author = "Dan Russell", booktitle = "{Proceedings of the Third International Conference on Functional Programming}", doi = "10.1145/289423.289471", editor = "Matthias Felleisen and Paul Hudak and Christian Queinnec", isbn = "1-58113-024-4", pages = "342", publisher = "{ACM}", title = "{MAP: A Functional Analysis and Design Method}", year = 1998, }