Grothendieck institutions. Applied categorical structures (2002)

by R Diaconescu