ByNobleID
    The algebraic specification of abstract data types | NobleID