"More About Recursive Structures: Descriptive Complexity and Zero-One Laws."

Tirza Hirst, David Harel (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics