BIB > 10, 900, 1659, 2613, 3253
BIB > 10, 3152, 3153
BIB > 5, 8, 10, 54, 5653, 5834, 6183
BIB > 10, 13
BIB > 6, 10, 16, 800, 3324
BIB > 1275
BIB > 5, 555, 5180, 5223, 5597
BIB > 10, 2077, 3132
BIB > 10, 15, 37, 82, 3482, 21430542
BIB > 10, 23, 92, 2827
BIB > 10, 1245, 2753
BIB > 5, 10, 2102, 5540, 6634, 85220