The Semantics and Implementation of Various “Best-fit” Pattern-matching Schemes for Functional Languages (1992)

by A J Field, L S Hunt, R L While