Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
-
heftet
,
Engelsk, 2002