doi dblp Patron use of an online circulation system in known-item searching Jerry Specht 1980 Volume 31 Issue 5