Algebraic Methodology and Software Technology
-
heftet
,
Engelsk, 2004