The module name is introduced by a name clause of the form
'module' Modwhere Mod is the name of the module.
If the name clause is missing, the module name is determined by the file name (this style should only be used for single-module specifications).