About this Manual

• int-man-ove: Overview
• int-man-org: Organization of the Manual
• int-man-not: Notational Conventions
• int-man-bib: Bibliographical Notes