Mind the Gap - Maintaining Formal Developments in MAYA

@incollection{pub1631,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
},
    title = {Mind the Gap - Maintaining Formal Developments in MAYA},
    year = {2002},
    publisher = {Springer-Verlag}
}