Reversible computations in B

Frank Zeyda. Reversible computations in B. PhD thesis, Teesside University, UK, 2007. [doi]

Abstract

Abstract is missing.