Non-deterministic computing, transactions and recursive atomicity - Bayer, Rudolf (1991)