Nondeterminism in Algebraic Specifications and Algebraic Programs
-
häftad
,
Engelska, 2012