Diller, A. Z : an introduction to formal methods. Chichester England ; New York, J. Wiley 1990
(1990)
Languages mentioned
Z
{1980}