From abstract specifications to application generation | Publicación