Akira Maruoka Masayuki Kimura Strong Surjectivity is Equivalent to C-Injectivity. 269-277 1982 18 Theor. Comput. Sci. db/journals/tcs/tcs18.html#MaruokaK82