Books — contract programming