ZADOK user guide /
Randell, G. P.
Malvern : Royal Signals and Radar Establishment,
1990.
ZADOK (Computer program)