Erwin Engeler On the structure of algorithmic problems. 2-15 1973 conf/automata/1973 Automatentheorie und Formale Sprachen db/conf/automata/automata1973.html#Engeler73 http://dx.doi.org/10.1007/BFb0039133