Yasuo Kawahara Pushout-Complements and Basic Concepts of Grammars in Toposes. 267-289 1990 77 Theor. Comput. Sci. 3 db/journals/tcs/tcs77.html#Kawahara90