Frank Zeyda. Reversible computations in B. PhD thesis, Teesside University, UK, 2007. [doi]
@phdthesis{ethos-4679, title = {Reversible computations in B}, author = {Frank Zeyda}, year = {2007}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.521881}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-4679}, cites = {0}, citedby = {0}, school = {Teesside University, UK}, }