@misc{indiciae0883a222564b,
  title = {The Pragmatic Proof: Hypermedia API Composition and Execution},
  author = {Ruben Verborgh and Dörthe Arndt and Sofie Van Hoecke and Jos De Roo and Giovanni Mels and Thomas Steiner and Joaquim Gabarro},
  year = {2015},
  doi = {10.1017/s1471068416000016},
  url = {https://arxiv.org/abs/1512.07780},
  note = {Source identifier: 1512.07780}
}