Formale Konsistenzsicherung in informellen Software-Spezifikationen | Publicación