Do it by Z notaion not coding!

Consider the following data schema that defines a library. Library Available Books : PBook Reviewed By: Book ++ PReviewer Covers : Book PT opic dom Reviewed By C Available Books dom Covers C Available Books where the function Reviewed By provides the reviewerss of a book, and the function Covers provides the topics covered by a a book. (a) Give the specification of the operation Add Book that adds to the library a given book reviewed by a given set of reviewerss and that covers a given set of topics. (b) Give the specification of the operation Search that returns the set of available books in the library that cover a given topic