Introduction to reversible computing. ([2014])