Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain
Introduction to Algorithms