A programming approach to formal methods /
Casey, Chris.
London : McGraw-Hill,
c1994.