Achim Blumensath et Erich Grädel, « Automatic Structures », Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society, lICS '00, , p. 51– (ISBN0769507255, lire en ligne, consulté le ).
psu.edu
citeseerx.ist.psu.edu
(en) T. Hirst and D. Harel., « More about recursive structures: Descriptive complexity and zero-one laws », Proc. 11th IEEE Symp. on Logic in Computer Science, , p. 334-348 (lire en ligne).