author : Brian Matthews

Short works

• Formal Development of Databases in ASSO and B. 1999. (In FM'99 volume 1 )
• Compositional structuring in the B Method: A Logical Viewpoint of the Static Context. 2000. (In ZB 2000 )