Maude as a metalanguage (0)

by M Clavel, F Durán, S Eker, P Lincoln, N Mart́ı-Oliet, J Meseguer, J Quesada
Venue:In Kirchner and Kirchner [47