Goguen, so prolific! the ADJ group, OBJ, Maude, CafeOBJ, Clear, The Semiotic Zoo, Sheaves, Institutions. I understand maybe 5% of this stuff. Why has Goguen's w

Goguen, so prolific! the ADJ group, OBJ, Maude, CafeOBJ, Clear, The Semiotic Zoo, Sheaves, Institutions. I understand maybe 5% of this stuff. Why has Goguen's work not sparked more research? Especially with the emphases on Algebraic Specification and Category theory? Is Goguen still ahead of his time?