Software engineering for telecommunication switching systems - Beinvogl, F. (rz1, 1978)