SPECC: Specification Language and Methodology