Search alternatives:
"semantics of reversible computation" » "semantic of reversible computation"