Hannah Blyton
"for science!"
Discrete Semantics for Reversible Transistor Network Verification