Universality of a reversible two-counter machine
scientific article; zbMATH DE number 983795