Hartmut Ehrig Bernd Mahr Complexity of Algebraic Implementations for Abstract Data Types. 223-253 1981 23 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss23.html#EhrigM81 https://doi.org/10.1016/0022-0000(81)90014-3