S/E/TEC - An Environment for the Production of Reliable Software. - Ernst Denert; Wolfgang Hesse; Herbert Neumaier (ECI, 1981)