author : Jose Meseguer

Short works

• Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. 1987. (In Research Directions in Object-Oriented Programming )
• Maude as a Formal Meta-tool. 1999. (In FM'99 volume 2 )