DOI,IST REx ID,Title of publication
10.1145/3704847,21052,"Program logics à la Carte"