Software design for electronic switching systems - Takamura, Shinji 1932- (P. Peregrinus, 1979)