Galois skriver om hvorfor formelle spesifikasjoner i praksis sjelden er fullstendige eller entydige, og hva dette betyr for programvareutvikling.

Kilde: https://www.galois.com/articles/specifications-dont-exist