Higher-Order Functions for Modeling Hierarchical Service Bindings | IEEE Conference Publication | IEEE Xplore