Title: Functional specification for an integrated library computer system