Formale Aspekte der Falsifikation drei Updateoperationen - Schätz, Rüdiger (1990)
Mikrokopie.- Duisburg, Univ. Gesamthochsch., Diss., 1990.