A kernel for a library management system