Zur formalen Charakterisierung des Satzes
Hiorth, Finngeir.
's-Gravenhage
1962