Implicit definability of algebraic structurs by means of program properties

(1979) Fundamentals of computation theory: FCT '79 conference on algebraic, arithmetic and categorial methods in computation theory, pp. 58 - 63

(Article in proceedings)