abstract_refinements.tex 19 KB