Model theory of comodules. - Septimiu Crivei; Mike Prest; Geert Reynders (J. Symb. Log., 2004)