Bibliography on Abstract Data Types