spring_formal_2003_130