Algebraic Methodology and Software Technology
-
heftet
,
Engelsk, 1997