Transactions. (ANS, 1982)