Machine function based control code algebras door J. Bergstra