Robust Distributed Software Transactions for Haskell by Dr. -Ing. Frank Kupke