Interactive Learning with a Digital Library in Computer Science