LibSys: Schema for Abstract States

Library

stock : Copy Book

issued : Copy Reader

shelved : F Copy

readers: F Reader

shelved ? dom issued = dom stock

shelved ? dom issued = �

ran issued ? readers

?r : readers � #(issued ? {r}) maxloans