Paper for the 1st International Workshop on Recomputability, part of UCC 2014