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