Foundations of Algebraic Specification and Formal Software Development
-
inbunden
,
Engelska, 2011