iruka software 1.0 programs: correct and concurrent Resources Erickson Kleinberg, Tardos Sedgewick Knuth Halim, Halim, Effendy