Abstract Specification Terms