MAP: A Functional Analysis and Design Method.

Dan Russell

Browse the full ICFP paper archive.