All About Maude - A High-Performance Logical Framework - Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott - muu(9783540719403)