On Binary Computation Structures

Bernhard Heinemann. On Binary Computation Structures. Math. Log. Q., 43:203-215, 1997.