Bernd Mahr Johann A. Makowsky Characterizing Specification Languages which Admit Initial Semantics. 49-59 1984 31 Theor. Comput. Sci. db/journals/tcs/tcs31.html#MahrM84