DAML: The Contract Language of Distributed Ledgers. - Shaul Kfir; Camille Fournier (ACM Queue, 2019)