Under Consideration for Publication in J. Functional Programming Transactional Events *