Sriram Rajamani, James Larus and Jakob Rehof "Contracts and Futures for Asynchronous Programming"

[Proceedings] SEI Software Verification Workshop: Program Software Engineering Institute, Pittsburgh, PA, 15213  

Languages mentioned Sharpie {2003}