Describir: Foundations of programming / Jacques Arsac ; translated by Fraser Duncan.