Library specification