Managing software reliability : the paradigmatic approach - Walker, Michael G., 1944- (North Holland, 1981)