书目详细信息 : IEEE Transactions on Electronic Computers. Volume EC-12 Number 1, February 1963.