link | bell_labs, gerard_holzmann, random, tom_duff | 2011-01-01 15:33:32 link | gerard_holzmann, random, rob_pike | 2011-01-01 15:32:33 link | dmr, gerard_holzmann, ken, random | 2011-01-01 15:30:20