Abstract solution design by specification refinement. - José Manuel Burgos; Javier Galve; Julio García; Juán José Moreno; Susana Muñoz; D. Villén (ITiCSE, 2000)