Implemented Library class and its spec