Formalizing work: reallocating redundancy. - Glenn Munkvold; Gunnar Ellingsen; Hege Koksvik (CSCW, 2006)