Francine Berman: A Completeness Technique for D-Axiomatizable Semantics. STOC 1979: 160-166