John Carroll's The Nurnberg Funnel and minimalist documentation | IEEE Journals & Magazine | IEEE Xplore