Write an extension of the formal model for a Library System. Write an extension of the formal model for a Library System.