Design of Computing Mechanisms. - N. Derrett (1974)