Library manual. Revised edition.

Tools