The formal description technique Estelle results of the ESPRIT/SEDOS project (North-Holland, 1989)
Literaturangaben