Tomás Díaz, Federico Olmedo, Éric Tanter: A mechanized formalization of GraphQL. CPP 2020: 201-214