Mind the Gap - Maintaining Formal Developments in MAYA

@incollection{pub1880,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
},
    title = {Mind the Gap - Maintaining Formal Developments in MAYA},
    booktitle = {Festschrift in Honor of J.H.~Siekmann},
    year = {2005},
    publisher = {Springer-Verlag, LNCS 2605}
}