> >

An Introduction to the Algebraic Specification of Abstract Data Types
Jean Baillie, Department of Computer Science, University of Hertfordshire.

Keyword Results for
this URL
Total
searches