Linking Theory and Practice of Digital Libraries