author : Manuel Clavel

Short works

• Maude as a Formal Meta-tool. 1999. (In FM'99 volume 2 )