Composite Public Values and Software Specifications