author : Martin Dunstan

Short works

• Formal Methods for Extensions to CAS. 1999. (In FM'99 volume 2 )