Formal specifications with higher-order parameterization