Specification of Modules

This file intends to outline the common structure for specifications within this directory.