Automatic Translation from Combined B and CSP Specification to Java Programs. - Letu Yang; Michael Poppleton (B, 2007)

JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. - Letu Yang; Michael Poppleton (CPA, 2007)

The automated translation of integrated formal specifications into concurrent programs. - Letu Yang (2008)