ZUM ... the Z formal specification notation : proceedings. Berlin ; New York, Springer: 3 v. 1995
(1995)
Languages mentioned
Z
{1980}