Fundamentals of Computation Theory
scientific article; zbMATH DE number 5065473