Mouad Bahi Christine Eisenbeis Spatial complexity of reversibly computable DAG. 47-56 2009 CASES http://doi.acm.org/10.1145/1629395.1629404 conf/cases/2009 db/conf/cases/cases2009.html#BahiE09