Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs. - A. I. Domracheva; Pavel A. Shapkin (KES, 2016)