author : Richard Banach

Short works

• Retrenchment, Refinement and Simulation. 2000. (In ZB 2000 )
• Controlling Control Systems: An Application of Evolving Retrenchment. 2002. (In ZB 2002 )
• Retrenchment and the B-toolkit. 2005. (In ZB 2005 )