Ruben Verborgh, Dörthe Arndt, Sofie Van Hoecke, Jos De Roo, Giovanni Mels, Thomas Steiner, Joaquim Gabarró: The Pragmatic Proof: Hypermedia API Composition and Execution. CoRR abs/1512.07780 (2015)