Christoph Kreitz Building reliable, high-performance networks with the Nuprl proof development system. 21-68 2004 14 J. Funct. Program. 1 http://dx.doi.org/10.1017/S0956796803004854 db/journals/jfp/jfp14.html#Kreitz04