ByNobleID
    Notes on algebraic specifications | NobleID