Deduktive Programmierung - Horn, Christian (1988)
Berlin, Ost, Univ., Diss.