CONTRIBUTIONS OF THE SPECIALIZED LIBRARY TO THE IMPLEMENTATI