The files of the formal specification are organized by package, each one a logical collection of related classes.