Title: Using PDAs in libraries : a how-to-do-it manual