Report 78 08 The Configuration Symmetry Group and its S Stanford Application to Generation Specification and Enumeration . MR