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

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