The capacity-C torch problem

Roland Carl Backhouse, Hai Truong. The capacity-C torch problem. Science of Computer Programming, 102:76-107, 2015. [doi]

Abstract

Abstract is missing.