CAFE: An Industrial-Strength Algebraic Formal Method
-
e-bok
,
Engelsk, 2000