Module specification