A Note on Bennett's Time-Space Tradeoff for Reversible Computation. - Robert Y. Levin; Alan T. Sherman (SIAM J. Comput., 1990)