V. AC-17, № 4; IEEE Transactions on Automatic Control (1972, 1972)