Klaus’s links on Programming.