Home›Books›Manuel ClavelManuel ClavelNo biography available.Works (1)All About Maude - A High-Performance Logical Framework