Heterogeneous monoid automata and admissible bisystems Hans-Jürgen Hoehnke (1982) Banach Center Publications