Gérard Huet : La littérature logicielle (22/01/2015)

https://codesource.hypotheses.org/14