Computer-Assisted Analysis and Model Simplification: Proceedings of the First Symposium on Computer-Assisted Analysis and Model Simplification, University of Colorado, Boulder, Colorado, March 28, 1980