Maximum marking problems

Richard S. Bird. Maximum marking problems. Journal of Functional Programming, 11(4):411-424, 2001.

Abstract

Abstract is missing.