IEEE Software Engineering FAA Magazine Nested Transactions May 1982 051218nonrh