Animating formal specifications /
Booth, J. P.
Harwell : UKAEA,
1987.
Electronic digital computers