[Boost-users] Looking for a book on graph algorithms