Search: Model Management, Theory, Tech report/unpubl, Bezivin, J