If anyone is interested in boredom, here is a book that I found useful.

Peter Toohey. Boredom: A Lively History