Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB. - John Witulski; Michael Leuschel (F-IDE, 2014)

A Python B Implementation - PyB A Second Tool-Chain. - John Witulski (2018)