A compendium of formal techniques for software maintenance | Publicación