ByNobleID
    The must preorder revisited: an algebraic theory for web services contracts | NobleID