Histoire de la prison et des dispositifs disciplinaires modernes.
Développement formel de programmes corrects par raffinement.