Heiliger, E. M. y P. B. Henderson. Library automation