Z is the most developed of the algebraic specification languages.
The extract behind the icon is a specification for a function
to insert a new social security number in a dictionary.
To return to the software engineering home page click
HERE
Jonathan Hodgson
Last Change: Jan 16th 1995
