La tarea del programador no es sólo escribir un programa, sino que su tarea principal es dar una prueba formal de que el programa que propone cumple la especificación funcional.
Una buena ingeniería de software requiere la diferenciación entre la especificación y la implementación.
El verdadero hombre es la nación; el individuo es siempre un egoísta. Despojaos, pues, de esa individualidad que os aísla, de ese individualismo que no respira más que desigualdad egoísta y discorde y consagraos enteramente al verdadero hombre, a la nación, al estado.
La desigualdad económica exacerba los problemas.