ICFP 1998MAP: A Functional Analysis and Design MethodDan RussellDOI 10.1145/289423.289471dblpBibTeXAbstractNo abstract available.