Bill Stoddart Frank Zeyda Robert Lynas A Design-Based Model of Reversible Computation. 63-83 2006 conf/utp/2006 UTP http://dx.doi.org/10.1007/11768173_4 db/conf/utp/utp2006.html#StoddartZL06