"A Maude specification of an object-oriented model for telecommunication ..."

Isabel Pita, Narciso Martí-Oliet (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics