Graded problems in computer science - McGettrick, Andrew D.; Smith, Peter D.