Fondation de la philosophie critique kantienne.
Fondation du rationalisme moderne et de la méthode scientifique.
Référence fondamentale en algorithmique et structures de données.
Développement formel de programmes corrects par raffinement.