Open menu
Simon Devitt
Reversible Computation