Si desidera automatizzare il sistema di prestiti di una biblioteca. Le specifiche del sistema, acquisite attraverso un’intervista con il bibliotecario, sono quelle riportate di seguito.