author : Cesar Munoz,

Short works

• Structural Embeddings: Mechanization with Method. 1999. (In FM'99 volume 1 )