Machine function based control code algebras by J. Bergstra