A Design-Based Model of Reversible Computation. - Bill Stoddart; Frank Zeyda; Robert Lynas (UTP, 2006)

A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. - Bill Stoddart; Robert Lynas; Frank Zeyda (RC@ETAPS, 2009)

Expressive reversible language: aspects of semantics and implementation. - Robert Lynas (2011)