Rash: from reckless interactions to reliable programs | ACM SIGPLAN Notice | DeepDyve