Springer Spec C: Specification Language and Methodology