British Computer Society. (1994). Z User Workshop : proceedings of the ... Annual Z User Meeting. London ; New York, Springer Verlag: v.

Languages mentioned

• Z {1980}