Library automation at Dallas Public Library.