TY - GEN AU - Bevan, Thomas TI - The theory of machines KW - ER -