New Methods of Concurrent Checking door Michael Goessel, Vitaly Ocheretny & Daniel Marienfeld