author : Michael Poppleton

Short works

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