Languages which capture complexity classes

Neil Immerman
1983 Proceedings of the fifteenth annual ACM symposium on Theory of computing - STOC '83  
doi:10.1145/800061.808765 dblp:conf/stoc/Immerman83 fatcat:v4f23jkv25f5jab4oxvifuh4te