Abstract solution design by specification refinement | Publicación