Process Refinement in B. - Steve Dunne; Stacey Conroy (ZB, 2005)

A Practical Single Refinement Method for B. - Steve Dunne; Stacey Conroy (ABZ, 2008)