Formal methods for interactive systems /
Dix, Alan.
London : Academic Press,
c1991.