The construction of formal specifications : : an introduction to the model-based and algebraic approaches /

ανά Turner, J. G.
Έκδοση 1994