Diller, A. Z : an introduction to formal methods. Chichester, West Sussex, England ; New York, Wiley & Sons..(1994).
(1994)
Languages mentioned
Z
{1980}