Graded problems in computer science - McGettrick, Andrew D. (Addison-Wesley, 1983)