Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
-
häftad
,
Engelska, 2002