Maximum Marking Problems - Bird, R (Journal of Functional Programming, 2001)