Resource-Aware Session Types for Digital Contracts. - Ankush Das; Stephanie Balzer; Jan Hoffmann 002; Frank Pfenning; Ishani Santurkar (CSF, 2021)