Secure Synthesis of Code: A Process Improvement Experiment. - P. Garbett; J. P. Parkes; Mike Shackleton; Stuart Anderson (World Congress on Formal Methods, 1999)

A case study in innovative process improvement: code synthesis from formal specifications. - P. Garbett; J. P. Parkes; Mike Shackleton; Stuart Anderson (Microprocess. Microsystems, 1999)