BIB > 762
BIB > 622, 649
BIB > 678, 707
BIB > 8, 731
BIB > 3, 1993
BIB > 651
BIB > 2, 107, 629, 656, 678, 700, 717
BIB > 8, 30, 662, 751, 757
BIB > 18, 20
BIB > 111, 762
BIB > 10, 707, 757