ZUR LOGIK DER LOGIK - PROGRAMMIERUNG. EIN KONSTRUKTIVER ANSATZ - Beckstein, Clemens (Universität, 1988)